summaryrefslogtreecommitdiff
path: root/ocamldoc/Makefile
diff options
context:
space:
mode:
authorSébastien Hinderer <Sebastien.Hinderer@inria.fr>2022-06-16 22:05:03 +0200
committerDavid Allsopp <david.allsopp@metastack.com>2022-07-18 10:26:57 +0100
commit1d2c1d323bf87b575027d0b827176adb035d7335 (patch)
treef7ac7b8937686d8233dd628f585277602ba59e34 /ocamldoc/Makefile
parent4be851ed8ea1f0c6be13dce04dcc97493c6c004b (diff)
downloadocaml-1d2c1d323bf87b575027d0b827176adb035d7335.tar.gz
Let configure generate the META files, with a proper version number
Diffstat (limited to 'ocamldoc/Makefile')
-rw-r--r--ocamldoc/Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/ocamldoc/Makefile b/ocamldoc/Makefile
index a74aa2dcea..e1b8815c8d 100644
--- a/ocamldoc/Makefile
+++ b/ocamldoc/Makefile
@@ -339,6 +339,7 @@ clean:
.PHONY: distclean
distclean: clean
+ rm -f META
.PHONY: depend
depend: $(DEPEND_PREREQS)