On 2006-04-08 18:13:55 +0200, Yann Dirson wrote:
The current doc is formatted to DVI, which is not a very friendly
format. Eg, using pdftex or tex4ht, we could get hyperlinked versions
of the docs, which would be much more useful.
make docpdf can be used. See:
On Sat, Jan 19, 2008 at 11:51:36AM +0100, Vincent Lefevre wrote:
On 2006-04-08 18:13:55 +0200, Yann Dirson wrote:
The current doc is formatted to DVI, which is not a very friendly
format. Eg, using pdftex or tex4ht, we could get hyperlinked versions
of the docs, which would be much more
On 2008-01-19 12:18:12 +0100, Bill Allombert wrote:
the issue is that make docpdf does not generated any kind of hyperlink,
and DVI is much faster to display than PDF, so I am not usure it is a
gain.
The Debian package could provide both, so that the user can choose.
Moreover, the user may not
On Sat, Jan 19, 2008 at 06:02:29PM +0100, Vincent Lefevre wrote:
On 2008-01-19 12:18:12 +0100, Bill Allombert wrote:
the issue is that make docpdf does not generated any kind of hyperlink,
and DVI is much faster to display than PDF, so I am not usure it is a
gain.
The Debian package
Package: pari-doc
Version: 2.1.7-2
Severity: wishlist
The current doc is formatted to DVI, which is not a very friendly
format. Eg, using pdftex or tex4ht, we could get hyperlinked versions
of the docs, which would be much more useful.
-- System Information:
Debian Release: testing/unstable
5 matches
Mail list logo