On Wed, 14 Jul 2010, Benjamin Kosnik wrote: > I would rather move to this structure for release documentation. And > then just have some nightly run on gcc.gnu.or on a properly configured > machine that just generates the documentation directly from the sources.
gcc.gnu.org will be preferrable, I think. That allows a number of us to help out if neede, re-running scripts, etc. For the time being I suggest to apply the patch below, though. What we have in place as of today simply is broken (and has been for quarters, at a minimum). Objections? Gerald Index: update_web_docs_libstdcxx_svn =================================================================== --- update_web_docs_libstdcxx_svn (revision 162499) +++ update_web_docs_libstdcxx_svn (working copy) @@ -37,11 +37,6 @@ 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