From 8333bf97aae1761dafa93e84d2c4181634a45ad2 Mon Sep 17 00:00:00 2001 From: Bernard Davison Date: Wed, 2 Feb 2011 10:15:32 +1100 Subject: [PATCH] Updated the distclean (dist_clean) target to remove the conf/srtm_data directory --- Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Makefile b/Makefile index 555a6ccc39..516f73a2ec 100644 --- a/Makefile +++ b/Makefile @@ -220,7 +220,9 @@ cleanspaces: find ./sw -name '*.mli' -exec sed -i {} -e 's/[ \t]*$$//' ';' find ./conf -name '*.xml' -exec sed -i {} -e 's/[ \t]*$$//' ';' +distclean : dist_clean dist_clean : clean + rm -r conf/srtm_data ab_clean: