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

 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.
 

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.