summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--ocamldoc/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/ocamldoc/Makefile b/ocamldoc/Makefile
index 7a487c6ca..b1466818b 100644
--- a/ocamldoc/Makefile
+++ b/ocamldoc/Makefile
@@ -149,7 +149,7 @@ OCAMLCMXFILES=$(OCAMLCMOFILES:.cmo=.cmx)
STDLIB_MLIS=../stdlib/*.mli \
../parsing/*.mli \
- ../otherlibs/$(UNIXLIB)/unix.mli \
+ ../otherlibs/unix/unix.mli \
../otherlibs/str/str.mli \
../otherlibs/bigarray/bigarray.mli \
../otherlibs/num/num.mli