[tex-k] dvipsk

[Peter Breitenlohner]

On Tue, 25 Jan 2005, Karl Berry wrote:

>    BTW: what is add-info-toc?
>
> Wow, that is a blast from the past.  It was a little script I wrote to
> add a table of contents to an info file.  Last modified December 20,
> 1994 :).  I'll append it for the record, but I'm not sure there's any
> real reason to use it these days.

Well, i stumbled over it when I desperately tried to rebuild dvips.info in
order to test my changes.

It's in the (maintainer mode) rules in dvipsk/Makefile.in. Maybe that part should
be rewritten.

pb