1998-03-22 23:41:58 -05:00
|
|
|
Assorted Texinfo-related programs and scripts.
|
1998-03-24 14:41:43 -05:00
|
|
|
|
1998-03-22 23:41:58 -05:00
|
|
|
texindex, texi2dvi, and install-info get installed.
|
1998-03-24 14:41:43 -05:00
|
|
|
The other items here are for your amusement and/or hacking pleasure.
|
