On 7 June 2010 00:36, Gerald Pfeifer wrote: > On Mon, 7 Jun 2010, Jonathan Wakely wrote: >>> * doc/Makefile.am, doc/Makefile.in (xml_sources_extra): Add >>> fdl-1.3.xml. >>> * doc/xml/manual/intro.xml: Update FDL link. >>> * doc/xml/manual/spine.xml: Update FDL include. >>> * doc/xml/gnu/fdl-1.3.xml: Add. >>> * doc/html/*: Regenerate. >> Committed. Someone with shell access needs to run the script to update >> the copy of the docs on the website. > > I'll be happy to do so, just let me know what the magic invocation is.
Thanks, see /home/gccadmin/scripts/update_web_docs_libstdcxx_svn > And wouldn't it be appropriate to remove doc/xml/gnu/fdl-1.2.xml now > that you have added fdl-1.3.xml? Possibly. We still have gpl-2.0.xml there, which doesn't seem to be included. I followed that example.