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
Minor change in doc files.
[virt-df.git]
/
lib
/
Makefile.in
diff --git
a/lib/Makefile.in
b/lib/Makefile.in
index
b42a55c
..
1a5fc58
100644
(file)
--- a/
lib/Makefile.in
+++ b/
lib/Makefile.in
@@
-67,7
+67,7
@@
OCAMLOPTLIBS := -linkpkg bitmatch.cmxa
OCAMLDEPFLAGS := $(SYNTAX)
OCAMLDOCFLAGS += $(SYNTAX) -I +extlib -I +bitmatch
-OCAMLDOCFILES := int63.mli diskimage.mli
diskimage.ml
+OCAMLDOCFILES := int63.mli diskimage.mli
BYTE_TARGETS := diskimage.cma
OPT_TARGETS := diskimage.cmxa