From 61995575da257d7062c0d72dd1b9233d0867e7f1 Mon Sep 17 00:00:00 2001
From: Joseph Myers <jsm@polyomino.org.uk>
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 a6e17c68030a..ca970b84eecd 100644
--- a/maintainer-scripts/ChangeLog
+++ b/maintainer-scripts/ChangeLog
@@ -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>
 
 	* update_web_docs (MANUALS): Add gfortran.
diff --git a/maintainer-scripts/update_web_docs b/maintainer-scripts/update_web_docs
index dc43bb1409d7..e22779c7bcc3 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
 
-- 
GitLab