Bug#53927: tetex-bin: /usr/info/dvips.info.gz out of date to /usr/lib/texmf/tex/plain/dvips/dvips.tex

[Hilmar Preusse <hille42@web.de>]

On 03.01.00 wuth@errant.castrov.cuug.ab.ca (wuth@errant.castrov.cuug.ab.ca) wrote:

Hi,

> /usr/info/dvips.info.gz seems to take most of its contents from
> /usr/lib/texmf/tex/plain/dvips/dvips.tex.  But is missing
> the following paragraph:
> 

drachi:[t3] >more dvips.info
This is dvips.info, produced by makeinfo version 4.4 from dvips.texi.

So I guess rather dvips.texi is the source for generation of the info
files. Further dvips.tex is much older that dvips.texi. Is that bug
still relevant or should we close it?

H.
-- 
sigmentation fault