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