diff options
author | Joseph Myers <jsm@polyomino.org.uk> | 2004-05-13 11:30:28 +0100 |
---|---|---|
committer | Joseph Myers <jsm28@gcc.gnu.org> | 2004-05-13 11:30:28 +0100 |
commit | 61995575da257d7062c0d72dd1b9233d0867e7f1 (patch) | |
tree | d93f6c2c0247d844fe5c9acb07c067ae267fbed3 /maintainer-scripts | |
parent | 282043099be7da9af2aa7d3d4fcf3ff33a3ed788 (diff) | |
download | gcc-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/ChangeLog | 5 | ||||
-rwxr-xr-x | maintainer-scripts/update_web_docs | 2 |
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 |