aboutsummaryrefslogtreecommitdiff
path: root/maintainer-scripts
diff options
context:
space:
mode:
authorJoseph Myers <jsm@polyomino.org.uk>2004-05-13 11:30:28 +0100
committerJoseph Myers <jsm28@gcc.gnu.org>2004-05-13 11:30:28 +0100
commit61995575da257d7062c0d72dd1b9233d0867e7f1 (patch)
treed93f6c2c0247d844fe5c9acb07c067ae267fbed3 /maintainer-scripts
parent282043099be7da9af2aa7d3d4fcf3ff33a3ed788 (diff)
downloadgcc-61995575da257d7062c0d72dd1b9233d0867e7f1.zip
gcc-61995575da257d7062c0d72dd1b9233d0867e7f1.tar.gz
gcc-61995575da257d7062c0d72dd1b9233d0867e7f1.tar.bz2
update_web_docs: Also remove old .gz files from subdirectories on the 15th of the month.
* update_web_docs: Also remove old .gz files from subdirectories on the 15th of the month. From-SVN: r81773
Diffstat (limited to 'maintainer-scripts')
-rw-r--r--maintainer-scripts/ChangeLog5
-rwxr-xr-xmaintainer-scripts/update_web_docs2
2 files changed, 6 insertions, 1 deletions
diff --git a/maintainer-scripts/ChangeLog b/maintainer-scripts/ChangeLog
index a6e17c6..ca970b8 100644
--- a/maintainer-scripts/ChangeLog
+++ b/maintainer-scripts/ChangeLog
@@ -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>
diff --git a/maintainer-scripts/update_web_docs b/maintainer-scripts/update_web_docs
index dc43bb1..e22779c 100755
--- 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