nlopess Mon Jan 22 22:20:02 2007 UTC
Modified files:
/phpdoc Makefile.in
Log:
make 'make clean' also remove infiles.cache
http://cvs.php.net/viewvc.cgi/phpdoc/Makefile.in?r1=1.177&r2=1.178&diff_format=u
Index: phpdoc/Makefile.in
diff -u phpdoc/Makefile.in:1.177 phpdoc/Makefile.in:1.178
--- phpdoc/Makefile.in:1.177 Mon Jan 22 16:01:20 2007
+++ phpdoc/Makefile.in Mon Jan 22 22:20:02 2007
@@ -16,7 +16,7 @@
#
#
-# $Id: Makefile.in,v 1.177 2007/01/22 16:01:20 bjori Exp $
+# $Id: Makefile.in,v 1.178 2007/01/22 22:20:02 nlopess Exp $
#
all: html
@@ -356,7 +356,7 @@
rm -f @[EMAIL PROTECTED] @[EMAIL PROTECTED] .manual.xml
rm -f manual_*.pdb @srcdir@/scripts/makedoc *.manifest
rm -f *.aux *.tex *.log *.dvi *.toc *.ps *.gz
- rm -f status.txt missing.txt
+ rm -f status.txt missing.txt infiles.cache
rm -f entities/file-entities.ent
rm -f entities/missing*
rm -f @LANGDIR@/missing-ids.xml
