maintainer-scripts: make update_web_docs_libstdcxx_svn less verbose

[Gerald Pfeifer]

This has been in place for two years (according to the date 
stamps on gcc.gnu.org), alas I must have missed to commit it 
after due testing on the production system.

Committed now.

Gerald

2015-04-07  Gerald Pfeifer  <gerald@pfeifer.com>

	* update_web_docs_libstdcxx_svn (FILTER): Introduce.
	Use to filter output of the copying process.

Index: update_web_docs_libstdcxx_svn
===================================================================
--- update_web_docs_libstdcxx_svn	(revision 221832)
+++ update_web_docs_libstdcxx_svn	(working copy)
@@ -19,6 +19,7 @@
 ## No more changes should be needed.  Ha, right, whatever.
 #####################################################################
 
+FILTER="newer or same age version exists|0 blocks"
 
 PATH=/usr/local/bin:$PATH
 export SVNROOT
@@ -38,8 +39,7 @@
 rm -f Makefile
 
 # copy the tree to the onlinedocs area, preserve directory structure
-#find . -depth -print | cpio -pdv $WWWDIR
-find . -depth -print | cpio -pd $WWWDIR 2>&1 | grep -v "newer or same age version exists"
+find . -depth -print | cpio -pd $WWWDIR 2>&1 | egrep -v "$FILTER"
 
 err=${PIPESTATUS[1]}
 if [ $err -gt 0 ]; then