HTML templates and GNU manual pages

[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 looking touch.

It's rather disappointing though, that as soon as one clicks on the any of the 
links for the Texinfo generated HTML pages, such as 

  https://www.gnu.org/software/hello/manual/hello.html

all the headers, footers, style sheets, navigation bars have gone.

I looked in the makeinfo manual to see if I could find out how to generate such 
pages, but could not find anything.

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 ?

J'

-- 
PGP Public key ID: 1024D/2DE827B3 
fingerprint = 8797 A26D 0854 2EAB 0285  A290 8A67 719C 2DE8 27B3
See http://sks-keyservers.net or any PGP keyserver for public key.

signature.asc
Description: Digital signature