On Wed, Feb 05, 2014 at 02:01:01PM +0100, Jerome Benoit wrote:
> can you provide, besides the INFO and the PDF documentations, the HTML > documentation ? > > As Texinfo (5.2) enables now to manage external nodes through > htmlxref.cnf files, > having the HTML version of the GMP manual will enable to create xref > links to nodes > on the local computer rather than on the web. It's a reasonable request. I'm not an expert in texinfo, and short on time, so a patch would speed up implementation. :-) -Steve
signature.asc
Description: Digital signature
