formatting Heimdal and KerberosIV documents

[Rich Morin]

The directories /usr/src/crypto/{heimdal,kerberosIV) on my FreeBSD 4.2
system contain piles of Texinfo and related files, as:

% ls
Makefile.am             intro.texi              setup.texi
Makefile.in             kerberos4.texi          standardisation/
ack.texi                latin1.tex              whatis.texi
heimdal.texi            layman.asc              win2k.texi
init-creds              mdate-sh*
install.texi            misc.texi

I'd like to format these up into PostScript, but I find myself baffled
by a twisty maze of formatting programs.  Looking at the info file for
texinfo, it appears that texi2dvi is the appropriate tool.  So, I went
and grabbed the texinfo distribution, via the FreeBSD Ports Collection.
Unfortunately, although it doesn't seem to contain texi2dvi.  Sigh.

It does, however, have texi2dvi4a2ps, which looks rather promising.  I
tried running this against the list of files given in the makefile, but
it just hangs.  Is there a simple recipe I can follow to print these,
or am I just going to wander around until I get eaten by the wumpus?

-r
--
email: address@hidden; phone: +1 650-873-7841
http://www.cfcl.com/rdm    - my home page, resume, etc.
http://www.cfcl.com/Meta   - The FreeBSD Browser, Meta Project, etc.
http://www.ptf.com/dossier - Prime Time Freeware's DOSSIER series
http://www.ptf.com/tdc     - Prime Time Freeware's Darwin Collection