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: