Package: texlive-base-bin Version: 2007.dfsg.2-6 texdoc pgf doesn't work as pgfmanual.pdf has been gzipped. Is there any reason why texdoc can't be asked to search for gzipped files in Debian (even though texlive doesn't do zipped docs)? Thanks! Julian