* update_web_docs: Eliminate warnings about keeping files from web

	page preprocessing.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@46785 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/maintainer-scripts/ChangeLog b/maintainer-scripts/ChangeLog
index 5d8c609..0faa5ab 100644 (file)
--- 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 6872a4a..63df12f 100755 (executable)
--- 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.