peb at mppmu.mpg.de
Wed Jan 26 08:52:03 CET 2005
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
More information about the tex-k