From 3b0c635f60049f111e7ee358aea56c734a19d2cc Mon Sep 17 00:00:00 2001
From: Joseph Myers <jsm28@cam.ac.uk>
Date: Mon, 5 Nov 2001 09:55:25 +0000
Subject: [PATCH] update_web_docs: Eliminate warnings about keeping files from
 web page preprocessing.

	* update_web_docs: Eliminate warnings about keeping files from web
	page preprocessing.

From-SVN: r46785
---
 maintainer-scripts/ChangeLog       | 3 +++
 maintainer-scripts/update_web_docs | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/maintainer-scripts/ChangeLog b/maintainer-scripts/ChangeLog
index 5d8c609d0f10..0faa5abf2fab 100644
--- a/maintainer-scripts/ChangeLog
+++ b/maintainer-scripts/ChangeLog
@@ -1,5 +1,8 @@
 2001-11-05  Joseph S. Myers  <jsm28@cam.ac.uk>
 
+	* update_web_docs: Eliminate warnings about keeping files from web
+	page preprocessing.
+
 	* update_web_docs: Allow for the same file name in different
 	directories.
 
diff --git a/maintainer-scripts/update_web_docs b/maintainer-scripts/update_web_docs
index 6872a4a329d9..63df12ffa56d 100755
--- a/maintainer-scripts/update_web_docs
+++ b/maintainer-scripts/update_web_docs
@@ -167,7 +167,7 @@ if [ "$RELEASE" = "HEAD" ]; then
 
   # Preprocess the entire web site, not just the install docs!
   echo "Invoking $WWWPREPROCESS"
-  $WWWPREPROCESS
+  $WWWPREPROCESS |grep -v '^  Warning: Keeping'
 fi
 
 # Clean up behind us.
-- 
GitLab