git.annexia.org
/
virt-df.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Updated MANIFEST
[virt-df.git]
/
Makefile.in
diff --git
a/Makefile.in
b/Makefile.in
index
127a260
..
87d131b
100644
(file)
--- a/
Makefile.in
+++ b/
Makefile.in
@@
-34,7
+34,7
@@
all opt depend install:
clean:
for d in . $(SUBDIRS); do \
(cd $$d; rm -f *.cmi *.cmo *.cmx *.cma *.cmxa *.o *.a \
clean:
for d in . $(SUBDIRS); do \
(cd $$d; rm -f *.cmi *.cmo *.cmx *.cma *.cmxa *.o *.a \
- *.so *.opt *~ *.dll *.exe core); \
+ *.so *.opt *~ *.dll *.exe
*.annot
core); \
done
rm -f virt-df/virt-df
done
rm -f virt-df/virt-df
@@
-53,7
+53,7
@@
doc:
-cd lib; \
$(OCAMLDOC) $(OCAMLDOCFLAGS) -d ../html \
-I +extlib -I +bitmatch \
-cd lib; \
$(OCAMLDOC) $(OCAMLDOCFLAGS) -d ../html \
-I +extlib -I +bitmatch \
- diskimage.mli diskimage.ml
+
int63.mli
diskimage.mli diskimage.ml
endif
# Distribution.
endif
# Distribution.