Re: HTML templates and GNU manual pages

2013-11-17 Thread Per Bothner
On 11/16/2013 11:49 PM, John Darrington wrote: Is there a way that makeinfo --html could be made to use a "boilerplate" such as the one at http://www.gnu.org/server/standards/boilerplate.html ? An alternative is to use makeinfo --docbook. This is more work, but more amenable to quite general

HTML templates and GNU manual pages

2013-11-16 Thread John Darrington
Most Gnu programs use Texinfo for their manuals. Most of them also have a nice online webpage introducting the documentation, such as: https://www.gnu.org/software/hello/manual/ I rather like seeing this in the Gnu livery and the coda at the foot of the page gives it a nice professional lookin