On 2010-03-10 13:52:15 +0100, Wouter Verhelst wrote: > Or it might have a gzipped PDF file, which is even more annoying, > for it requires me to copy, uncompress, read, remove the > documentation.
zxpdf from xpdf-reader can handle it. But I wonder why the need for two separate commands while the format can easily be detected. I don't know how other PDF viewers handle compressed PDF files. For the other points, I completely agree with you. -- Vincent Lefèvre <[email protected]> - Web: <http://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / Arénaire project (LIP, ENS-Lyon) -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
