# HG changeset patch # User Ruslan Ermilov # Date 1350997511 0 # Node ID 7951fb38b4b340e4a90af32b07a6a83af59d6520 # Parent 3a2e35f4c279ef3fee7f030027bf6c2b05e429d0 The "clean" target will also remove dir.map. diff -r 3a2e35f4c279 -r 7951fb38b4b3 GNUmakefile --- 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: