From 0ee7c2a6b3618417a7d545e40a6704043bc88af5 Mon Sep 17 00:00:00 2001 From: John Whitington Date: Tue, 16 Sep 2014 16:12:58 +0100 Subject: [PATCH] Now removes 'doc' on make clean --- Makefile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Makefile b/Makefile index ac1c11d..c50efdc 100644 --- a/Makefile +++ b/Makefile @@ -13,6 +13,9 @@ OCAMLLDFLAGS = -g all : native-code native-code-library byte-code-library top htdoc +clean :: + rm -r doc + LIBINSTALL_FILES = cpdf.a cpdf.cma cpdf.cmxa \ $(foreach x,$(MODS),$x.mli) $(foreach x,$(MODS),$x.cmi)