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 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).
Well maybe I should replace the .ps files by .pdf files. But I do not think this would resolve this particular wishlist item to Yann statisfaction. Cheers, -- Bill. <[EMAIL PROTECTED]> Imagine a large red swirl here. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]