Bug#1289: dvips: some info-files are missing

[jdassen@WI.LeidenUniv.NL (J.H.M.Dassen)]

> > >   $ info -f /usr/info/dvips.info.gz
> > >   info: Cannot find the node "Top".
> > >
> > > The files dvips.info-1, dvips.info-2 and dvips.info-3 are missing in
> > > the directory /usr/info .
> >
> > Sven, can you check if they are present in the dvips*deb file you
> > used, using dpkg --contents dvips*deb?
>
> No, they aren't there, too.
>
> $ dpkg --contents debian/binary/tex/dvips-5.58f-2.deb
> ...
> -rw-r--r-- root/root     13022 May 19 23:13 1995 usr/man/man1/dvips.1
> drwxr-xr-x root/root         0 May 19 23:13 1995 usr/info/
> -rw-r--r-- root/root       802 May 19 23:13 1995 usr/info/dvips.info.gz
> drwxr-xr-x root/root         0 May 19 23:13 1995 usr/lib/
> ...

Then it's definitively a bug.

Nils, can you upload your source please?

Ray
--
LOGIC  The principle governing human intellection. Its nature may be deduced
from examining the two following propositions, both of which are held by
human beings to be true and often by the same people: 'I can't so you
mustn't', and 'I can but you mustn't.' - The Hipcrime Vocab by Chad C. Mulligan