Bug#272334: please consider delivering docs as .tex files as well for better searchability

[frank@kuesterei.ch (Frank Küster)]

Frank Küster <frank@debian.org> schrieb:

> Marc Haber <mh+debian-bugs@zugschlus.de> schrieb:
>
>> On Sun, Sep 19, 2004 at 02:09:26PM +0200, Marc Haber wrote:
>>> some of the docs, for example scrguide, are only delivered in the
>>> binary package as dvi and pdf file. This makes it hard to grep the
>>> docs for specific bits of information.

Would a script serve your needs that uses pdftk to uncompress pdf files
and greps through them? Something like

for file in `texdoc -s '\.pdf$'`; do
     pdftk "$file" output - uncompress | \
     egrep $pattern >/dev/null && \
     echo Pattern found in $file; done

(use with caution, texdoc -s doesn't work properly before
tetex-bin_2.0.2-22, see #272477). Maybe it can be integrated into
texdoc. And we would have to handle pdf.gz. 

Regards, Frank
-- 
Frank Küster, Biozentrum der Univ. Basel
Abt. Biophysikalische Chemie