OSDN Git Service

* update_web_docs: Eliminate warnings about keeping files from web
[pf3gnuchains/gcc-fork.git] / maintainer-scripts / update_web_docs
index 6872a4a..63df12f 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.