page preprocessing.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@46785
138bc75d-0d04-0410-961f-
82ee72b054a4
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.
# Preprocess the entire web site, not just the install docs!
echo "Invoking $WWWPREPROCESS"
- $WWWPREPROCESS
+ $WWWPREPROCESS |grep -v '^ Warning: Keeping'
fi
# Clean up behind us.