From 61995575da257d7062c0d72dd1b9233d0867e7f1 Mon Sep 17 00:00:00 2001 From: Joseph Myers Date: Thu, 13 May 2004 11:30:28 +0100 Subject: [PATCH] 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 --- maintainer-scripts/ChangeLog | 5 +++++ maintainer-scripts/update_web_docs | 2 +- 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/maintainer-scripts/ChangeLog b/maintainer-scripts/ChangeLog index a6e17c68030..ca970b84eec 100644 --- a/maintainer-scripts/ChangeLog +++ b/maintainer-scripts/ChangeLog @@ -1,3 +1,8 @@ +2004-05-13 Joseph S. Myers + + * update_web_docs: Also remove old .gz files from subdirectories + on the 15th of the month. + 2004-05-13 Joseph S. Myers * update_web_docs (MANUALS): Add gfortran. 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 -- 2.30.2