On Wed, 25 Feb 2015, Arnaud Charlet wrote: > > So you need to update the > > find command therein not to remove anything that's part of the sources for > > this documentation, and possibly update -I options for building manuals as > > well. > > I've added a -I gcc/gcc/ada/doc/gnat_ugn there, that's as far as my > knowledge goes for this script so I hope this is enough.
Well, since by default the find command deletes all files except those known to be documentation sources, you need at least to change it not to delete those particular files (and the actual RST sources of these manuals). > I can help in transitioning the script to sphinx though, that would seem > more interesting/productive at this stage. See the existing code to handle Sphinx documentation for the JIT. -- Joseph S. Myers jos...@codesourcery.com