diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2021-11-10 16:01:51 +0100 |
---|---|---|
committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-01-18 09:45:22 +0100 |
commit | d5b61618cabf2e7fdfa857998b9e3386b0c2d96b (patch) | |
tree | ed316ec42225192e8de57041c3e73b74e6e127b5 /ocamldoc/Makefile | |
parent | 47bfe281e37c4846e6c9ef21a6a05ee14e629646 (diff) | |
download | ocaml-d5b61618cabf2e7fdfa857998b9e3386b0c2d96b.tar.gz |
Add the distclean target to ocamldoc/Makefile
Diffstat (limited to 'ocamldoc/Makefile')
-rw-r--r-- | ocamldoc/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ocamldoc/Makefile b/ocamldoc/Makefile index e6d898a50e..968449121b 100644 --- a/ocamldoc/Makefile +++ b/ocamldoc/Makefile @@ -347,6 +347,9 @@ clean: rm -f generators/*.cm[taiox] generators/*.a generators/*.lib generators/*.o generators/*.obj \ generators/*.cmx[as] +.PHONY: distclean +distclean: clean + .PHONY: depend depend: $(DEPEND_PREREQS) $(OCAMLDEP) $(DEPFLAGS) $(DEPINCLUDES) *.mll *.mly *.ml *.mli > .depend |