Package: gmp-doc
Version: 5.1.2-1
Severity: wishlist
Dear Maintainer,
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.
Thanks in advance,
Jerome
-- System Information:
Debian Release: Wheezy*
APT prefers wheezy
APT policy: (990, 'wheezy'), (990, 'stable-updates'), (990, 'stable')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
Kernel: Linux 3.12.6-amd64-mbp62 (SMP w/4 CPU cores)
Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Versions of packages gmp-doc depends on:
ii dpkg 1.16.12
ii install-info 5.2.0.dfsg.1-2
gmp-doc recommends no packages.
gmp-doc suggests no packages.
-- no debconf information
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
