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 be able to read dvi files if he doesn't have a dvi viewer (which isn't common and xdvi has many dependencies). -- Vincent Lefèvre <[EMAIL PROTECTED]> - Web: <http://www.vinc17.org/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/> Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)
