summaryrefslogtreecommitdiff
path: root/ocamldoc/.depend
diff options
context:
space:
mode:
Diffstat (limited to 'ocamldoc/.depend')
-rw-r--r--ocamldoc/.depend9
1 files changed, 6 insertions, 3 deletions
diff --git a/ocamldoc/.depend b/ocamldoc/.depend
index 53e9ed45f8..f590ecd38c 100644
--- a/ocamldoc/.depend
+++ b/ocamldoc/.depend
@@ -382,7 +382,7 @@ odoc_global.cmi : \
odoc_types.cmi
odoc_html.cmo : \
odoc_text.cmi \
- odoc_ocamlhtml.cmo \
+ odoc_ocamlhtml.cmi \
odoc_messages.cmi \
odoc_info.cmi \
odoc_global.cmi \
@@ -620,8 +620,11 @@ odoc_name.cmi : \
../typing/path.cmi \
../parsing/longident.cmi \
../typing/ident.cmi
-odoc_ocamlhtml.cmo :
-odoc_ocamlhtml.cmx :
+odoc_ocamlhtml.cmo : \
+ odoc_ocamlhtml.cmi
+odoc_ocamlhtml.cmx : \
+ odoc_ocamlhtml.cmi
+odoc_ocamlhtml.cmi :
odoc_parameter.cmo : \
../typing/types.cmi \
odoc_types.cmi \