Re: [pdf-devel] Re: Checking for makeinfo in configure

[Karl Berry]

    Is it true that not only makeinfo, but also texi2html are needed for

Unless you have specific reasons to use texi2html (like you want to
customize the output beyond what makeinfo can do), it is preferable to
use makeinfo --html.

   I did a fresh checkout of the project today and during the compilation
   process I got an error when looking for the makeinfo utility. I think

Most GNU packages require makeinfo when installing from source, just
like they require autoconf and so on.  Is it such a trouble?

Best,
Karl