[BUG] No up-to-date HTML manual on http://gmplib.org/ which is all on one page.

[Shlomi Fish]

Hi all,

thanks for GMP. When seeking to study the API on http://gmplib.org/ I noticed
that the HTML manual was one-page-per-node, which does not concentrate all the
information in one place. I would prefer that there will also be a
manual-on-one-HTML-page available somewhere on the site. 

For the record, the old GMP site still contains such a version, but it has not
been updated since 2002:

http://www.gnu.org/software/gmp/manual/

I should note that it is possible to generate the HTML in question using the
command: « makeinfo --html --no-split gmp.texi » (on the doc directory),
(although the resultant HTML does not contain a DOCTYPE). 

Regards,

	Shlomi Fish

-- 
-----------------------------------------------------------------
Shlomi Fish       http://www.shlomifish.org/
"Humanity" - Parody of Modern Life - http://shlom.in/humanity

A: I’m hungry today.
B: Well, wait until tomorrow. Maybe this feeling will pass.

Please reply to list if it's a mailing list post - http://shlom.in/reply .