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. And wouldn't it be appropriate to remove doc/xml/gnu/fdl-1.2.xml now that you have added fdl-1.3.xml? Gerald