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
Fix 'make doc'
[virt-df.git]
/
lib
/
Makefile.in
diff --git
a/lib/Makefile.in
b/lib/Makefile.in
index
64c4781
..
5e54923
100644
(file)
--- a/
lib/Makefile.in
+++ b/
lib/Makefile.in
@@
-65,9
+65,6
@@
OCAMLOPTLIBS := $(OCAMLCLIBS)
OCAMLDEPFLAGS := $(SYNTAX)
-OCAMLDOCFLAGS += $(SYNTAX) -I +extlib -I +bitmatch
-OCAMLDOCFILES := int63.mli diskimage.mli
-
BYTE_TARGETS := diskimage.cma
OPT_TARGETS := diskimage.cmxa