[tex-k] dvipsk

[Karl Berry]

    That would imply to completely remove odvipsk. Right?

I hope so.

    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.

k


#!/bin/sh
	
temp=${TMPDIR-/tmp}/ait.$$

echo Contents: >$temp
echo >>$temp

awk '
	{ prevline = line; line = $0 }
/^\*+$/	{ print prevline }
/^=+$/	{ print "  " prevline }
/^-+$/	{ print "    " prevline }
/^\.+$/	{ print "      " prevline }
' $*>>$temp

echo >>$temp
echo >>$temp
cat $* >>$temp

mv $temp $1