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]
/
diskzip
/
Makefile.in
diff --git
a/diskzip/Makefile.in
b/diskzip/Makefile.in
index
9421ffc
..
c3632e2
100644
(file)
--- a/
diskzip/Makefile.in
+++ b/
diskzip/Makefile.in
@@
-48,9
+48,6
@@
OCAMLOPTLIBS := -linkpkg diskimage.cmxa
OCAMLDEPFLAGS := $(SYNTAX)
-OCAMLDOCFLAGS := $(SYNTAX) -I +extlib -I +bitmatch -I ../lib
-OCAMLDOCFILES := diskzip.ml
-
BYTE_TARGETS := diskzip
OPT_TARGETS := diskzip.opt