On 30.01.19 00:23, Julian Gilbey wrote: Hi Julian, > I'm not sure if it's present any more, because I can't find a single > .pdf.gz file in /usr/share/doc/texlive* - all of the pdf files are > unzipped, so there is no need for texdoc to unzip them. > > I tried zipping it and it still works, though I'm using xdg-open > rather than gnome-open (as I'm running under XFCE now rather than > Gnome). > > So I guess closing this bug report is probably OK? > I did some tests for #601237. In [1] I mentioned the document ifsym.ps.gz I used for testing, which is still zipped. Hilmar [1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=601237#25 -- sigfault #206401 http://counter.li.org
Attachment:
signature.asc
Description: OpenPGP digital signature