diff options
Diffstat (limited to 'maintainer-scripts/update_web_docs_libstdcxx_svn')
| -rwxr-xr-x | maintainer-scripts/update_web_docs_libstdcxx_svn | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/maintainer-scripts/update_web_docs_libstdcxx_svn b/maintainer-scripts/update_web_docs_libstdcxx_svn index 05afbe5a710..514243ddfc2 100755 --- a/maintainer-scripts/update_web_docs_libstdcxx_svn +++ b/maintainer-scripts/update_web_docs_libstdcxx_svn @@ -37,11 +37,6 @@ svn -q export $SVNROOT/trunk/$GETTHIS doc cd doc rm -f Makefile -# build a compressed copy of the HTML, preserve directory structure -for file in `find . -name "*.html" -print`; do - gzip --best < $file > $file.gz -done - # copy the tree to the onlinedocs area, preserve directory structure #find . -depth -print | cpio -pdv $WWWDIR find . -depth -print | cpio -pd $WWWDIR > /dev/null 2>&1 |