Re: Testing lots of Texinfo files

[Jacob Bachmeyer]

Gavin Smith wrote:
> There are many manuals that I couldn't get easily as there wasn't a
> link to download the Texinfo sources on the website (where there was,
> this was always because the web manuals were generated with the
> gendocs script). It would be a never-ending project to try to get
> everything and the dependencies for all the manuals, but if there are
> other manuals that are important to check that aren't listed below,
> you could let me know if you know how to get hold of them.
>   

As a maintainer of DejaGnu, the DejaGnu manual is important to me and 
getting an up-to-date copy just might point the way to getting more 
Texinfo sources.  The latest revision is available at 
<URL:https://git.savannah.gnu.org/cgit/dejagnu.git/tree/doc/dejagnu.texi> 
and its only dependencies are "version.texi" (which is common with 
Automake-using projects and can be easily stubbed out) and "fdl.texi" 
(the text of the GFDL).

I expect that many GNU projects are likely to have manual sources in 
analogous locations on Savannah.


-- Jacob