Makefile.in
changeset 1154 0f15f05af399
parent 1153 487cb6aca0c4
child 1156 b8e4a98bbdf3
     1.1 --- a/Makefile.in	Sun Jan 25 22:58:26 2009 +0000
     1.2 +++ b/Makefile.in	Sun Jan 25 22:59:55 2009 +0000
     1.3 @@ -108,6 +108,8 @@
     1.4  	@rm -f ct-ng
     1.5  
     1.6  clean-lib:
     1.7 +	@echo "  RM     'paths.mk'"
     1.8 +	@rm -f paths.mk
     1.9  
    1.10  clean-doc:
    1.11