Updated the distclean (dist_clean) target to remove the conf/srtm_data directory

2026-05-09 22:49:53 +08:00 · 2011-02-02 10:15:32 +11:00
parent fe06312c41
commit 8333bf97aa
1 changed files with 2 additions and 0 deletions
@@ -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: