diff options
| author | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-05-13 10:30:28 +0000 |
|---|---|---|
| committer | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-05-13 10:30:28 +0000 |
| commit | 1c0b1c4617edea5ce0f4ea6911e9ceaf7b2a1914 (patch) | |
| tree | d93f6c2c0247d844fe5c9acb07c067ae267fbed3 /maintainer-scripts/update_web_docs | |
| parent | 0497cc9009f832f99e015b7be2b6d375dba2b49d (diff) | |
| download | ppe42-gcc-1c0b1c4617edea5ce0f4ea6911e9ceaf7b2a1914.tar.gz ppe42-gcc-1c0b1c4617edea5ce0f4ea6911e9ceaf7b2a1914.zip | |
* update_web_docs: Also remove old .gz files from subdirectories
on the 15th of the month.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@81773 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'maintainer-scripts/update_web_docs')
| -rwxr-xr-x | maintainer-scripts/update_web_docs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/maintainer-scripts/update_web_docs b/maintainer-scripts/update_web_docs index dc43bb1409d..e22779c7bcc 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 |
