update_web_docs: Eliminate warnings about keeping files from web page preprocessing.
authorJoseph Myers <jsm28@cam.ac.uk>
Mon, 5 Nov 2001 09:55:25 +0000 (09:55 +0000)
committerJoseph Myers <jsm28@gcc.gnu.org>
Mon, 5 Nov 2001 09:55:25 +0000 (09:55 +0000)
* update_web_docs: Eliminate warnings about keeping files from web
page preprocessing.

From-SVN: r46785

maintainer-scripts/ChangeLog
maintainer-scripts/update_web_docs

index 5d8c609d0f10e770e58122ea569059744fafd7cc..0faa5abf2fab004e545c20a0e4f634db294d712a 100644 (file)
@@ -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.
 
index 6872a4a329d9c2896fd4b9da81316691c2fde741..63df12ffa56d2599792b6984d683ce35eaba3021 100755 (executable)
@@ -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.