CVSROOT: /cvs/gcc Module name: wwwdocs Changes by: gerald@gcc.gnu.org 2001-08-05 01:40:31 Modified files: bin : preprocess Log message: Do not prune ./thanks.html* which is generated automatically. Patches: http://gcc.gnu.org/cgi-bin/cvsweb.cgi/wwwdocs/bin/preprocess.diff?cvsroot=gcc&r1=1.23&r2=1.24