OSDN Git Service

* update_web_docs: Also remove old .gz files from subdirectories
authorjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 13 May 2004 10:30:28 +0000 (10:30 +0000)
committerjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 13 May 2004 10:30:28 +0000 (10:30 +0000)
on the 15th of the month.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@81773 138bc75d-0d04-0410-961f-82ee72b054a4

maintainer-scripts/ChangeLog
maintainer-scripts/update_web_docs

index a6e17c6..ca970b8 100644 (file)
@@ -1,5 +1,10 @@
 2004-05-13  Joseph S. Myers  <jsm@polyomino.org.uk>
 
+       * update_web_docs: Also remove old .gz files from subdirectories
+       on the 15th of the month.
+
+2004-05-13  Joseph S. Myers  <jsm@polyomino.org.uk>
+
        * update_web_docs (MANUALS): Add gfortran.
 
 2004-05-13  Arnaud Charlet  <charlet@act-europe.fr>
index dc43bb1..e22779c 100755 (executable)
@@ -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