summaryrefslogtreecommitdiff
path: root/ocamldoc/Makefile
diff options
context:
space:
mode:
authorGabriel Scherer <gabriel.scherer@gmail.com>2020-05-03 10:42:13 +0200
committerGabriel Scherer <gabriel.scherer@gmail.com>2020-05-06 12:10:02 +0200
commitfab58a938a61c62bb66ed70ce2563e1657d9f53b (patch)
tree266de53c35c3f0c62b4d8bf722c881fb354d6ee8 /ocamldoc/Makefile
parentf2587c1fb1a10548a7c35e931986af0ebecbaef7 (diff)
downloadocaml-fab58a938a61c62bb66ed70ce2563e1657d9f53b.tar.gz
makefiles: move the inclusion of Makefile.build_config in Makefile.common
Diffstat (limited to 'ocamldoc/Makefile')
-rw-r--r--ocamldoc/Makefile1
1 files changed, 0 insertions, 1 deletions
diff --git a/ocamldoc/Makefile b/ocamldoc/Makefile
index e2e911c2c1..8addaadb24 100644
--- a/ocamldoc/Makefile
+++ b/ocamldoc/Makefile
@@ -15,7 +15,6 @@
ROOTDIR = ..
--include $(ROOTDIR)/Makefile.build_config
include $(ROOTDIR)/Makefile.common
include $(ROOTDIR)/Makefile.best_binaries