git.annexia.org
/
virt-mem.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Fix 'make doc' and turn http://... into real links.
[virt-mem.git]
/
lib
/
Makefile.in
diff --git
a/lib/Makefile.in
b/lib/Makefile.in
index
d530c20
..
1b46ebe
100644
(file)
--- a/
lib/Makefile.in
+++ b/
lib/Makefile.in
@@
-41,8
+41,6
@@
OCAMLOPTFLAGS = @OCAMLOPTFLAGS@ $(SYNTAX)
OCAMLOPTPACKAGES = $(OCAMLCPACKAGES)
OCAMLOPTLIBS = -linkpkg
-OCAMLDOCFLAGS = -html -sort $(OCAMLCPACKAGES) $(SYNTAX)
-
OCAMLDEPFLAGS = $(SYNTAX)
TARGETS = virt_mem.cma virt_mem.cmxa