Control: tags 683817 + unreproducible Since upgrading src:texlive-base packages to 2012.20120611-4 I can no longer reproduce this issue.
This seems related to its changelog entry: > * fix wrong format of zip list for texdoc, which broke searching for > compressed documentation. Thanks to Norbert Preining. Helmut -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org