
Documents are no longer installed automatically. makeinfo can now
be used to generate HTML pages with makeinfo --html.

To do this you need  texinfo-3.12c  (see www.texinfo.org)
