diff GNUmakefile @ 743:7951fb38b4b3

The "clean" target will also remove dir.map.
author Ruslan Ermilov <ru@nginx.com>
date Tue, 23 Oct 2012 13:05:11 +0000
parents 46bb8caea2ab
children 015981070efd
line wrap: on
line diff
--- a/GNUmakefile	Tue Oct 23 13:01:44 2012 +0000
+++ b/GNUmakefile	Tue Oct 23 13:05:11 2012 +0000
@@ -286,6 +286,6 @@
 endif
 
 clean:
-	rm -rf $(ZIP) $(OUT) xml/*/docs/dirindex.xml
+	rm -rf $(ZIP) $(OUT) xml/*/docs/dirindex.xml dir.map
 
 .DELETE_ON_ERROR: