Assorted Texinfo-related programs and scripts.
texindex, texi2dvi, and install-info get installed.
The other programs are for your amusement.
