Re: formatting Heimdal and KerberosIV documents

[Karl Berry]

    Well, I installed the texinfo package from the FreeBSD Ports Collection

I can't speak to the FreeBSD Ports Collection, but the original Texinfo
distribution from ftp://ftp.gnu.org/gnu/texinfo/ definitely includes the
texi2dvi script.

   info_TEXINFOS = heimdal.texi
   heimdal_TEXINFOS = intro.texi install.texi setup.texi kerberos4.texi
   heimdal.dvi: heimdal.texi $(heimdal_TEXINFOS)

Yes, this is the usual way to do manuals in Automake/Autoconf.  `make
heimdal.dvi' should end up running texi2dvi heimdal.texi, that's all.

   ! I can't find file `texinfo'.
   l.1 \input texinfo

Eli's advice about this is good ...