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 <vinc...@vinc17.net> - 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 debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20100310162854.ga23...@prunille.vinc17.org
