diff options
| -rw-r--r-- | maintainer-scripts/ChangeLog | 5 | ||||
| -rwxr-xr-x | maintainer-scripts/update_web_docs_libstdcxx_svn | 5 |
2 files changed, 5 insertions, 5 deletions
diff --git a/maintainer-scripts/ChangeLog b/maintainer-scripts/ChangeLog index 773bf6b..89d8a6f 100644 --- a/maintainer-scripts/ChangeLog +++ b/maintainer-scripts/ChangeLog @@ -1,3 +1,8 @@ +2010-08-01 Gerald Pfeifer <gerald@pfeifer.com> + + * update_web_docs_libstdcxx_svn: Do not compress generated .html + files any more. + 2010-06-24 Joseph Myers <joseph@codesourcery.com> * update_web_docs_svn: Also pass -I option pointing to ada/ source diff --git a/maintainer-scripts/update_web_docs_libstdcxx_svn b/maintainer-scripts/update_web_docs_libstdcxx_svn index 05afbe5..514243d 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 |