2004-08-03 Kelley Cook <kcook@gcc.gnu.org>

[pf3gnuchains/gcc-fork.git] / maintainer-scripts / update_web_docs

diff --git a/maintainer-scripts/update_web_docs b/maintainer-scripts/update_web_docs
index dc43bb1..e22779c 100755 (executable)
--- a/maintainer-scripts/update_web_docs
+++ b/maintainer-scripts/update_web_docs
@@ -129,7 +129,7 @@ today=`date +%d`
 if test $today = 15; then
   find $DOCSDIR -type f -maxdepth 1 -print | grep -v index.html | xargs rm
   for m in $MANUALS; do
-    rm $DOCSDIR/$m/*.html
+    rm $DOCSDIR/$m/*.html $DOCSDIR/$m/*.html.gz
   done
 fi