git
/
gcc
mirror of git://gcc.gnu.org/git/gcc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

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
This commit is contained in:
Joseph Myers 2004-05-13 11:30:28 +01:00 committed by Joseph Myers
parent 282043099b
commit 61995575da
2 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
maintainer-scripts/ChangeLog
View File

@ -1,3 +1,8 @@
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> 2004-05-13 Joseph S. Myers <jsm@polyomino.org.uk>
* update_web_docs (MANUALS): Add gfortran. * update_web_docs (MANUALS): Add gfortran.

2
maintainer-scripts/update_web_docs
View File

@ -129,7 +129,7 @@ today=`date +%d`
if test $today = 15; then if test $today = 15; then
find $DOCSDIR -type f -maxdepth 1 -print | grep -v index.html | xargs rm find $DOCSDIR -type f -maxdepth 1 -print | grep -v index.html | xargs rm
for m in $MANUALS; do for m in $MANUALS; do
rm $DOCSDIR/$m/*.html rm $DOCSDIR/$m/*.html $DOCSDIR/$m/*.html.gz
done done
fi fi