diff options
author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2020-05-03 10:42:13 +0200 |
---|---|---|
committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2020-05-06 12:10:02 +0200 |
commit | fab58a938a61c62bb66ed70ce2563e1657d9f53b (patch) | |
tree | 266de53c35c3f0c62b4d8bf722c881fb354d6ee8 /ocamldoc/Makefile | |
parent | f2587c1fb1a10548a7c35e931986af0ebecbaef7 (diff) | |
download | ocaml-fab58a938a61c62bb66ed70ce2563e1657d9f53b.tar.gz |
makefiles: move the inclusion of Makefile.build_config in Makefile.common
Diffstat (limited to 'ocamldoc/Makefile')
-rw-r--r-- | ocamldoc/Makefile | 1 |
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 |