git.annexia.org
/
virt-df.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
e73ed9c
)
Minor change in doc files.
author
Richard W.M. Jones
<rjones@redhat.com>
Fri, 2 May 2008 12:39:49 +0000
(13:39 +0100)
committer
Richard W.M. Jones
<rjones@redhat.com>
Fri, 2 May 2008 12:39:49 +0000
(13:39 +0100)
lib/Makefile.in
patch
|
blob
|
history
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
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
BYTE_TARGETS := diskimage.cma
OPT_TARGETS := diskimage.cmxa