Should makeinfo be required for Octave?

[Rik]

8/7/12

All,

I'm working on this bug report (https://savannah.gnu.org/bugs/?36903) where
configure does not check for the presence of makeinfo.  makeinfo is
required during the build if you want to create any documentation. 
However, it is also a runtime dependency for reading the documentation. 
Even if we package a tar ball with all the documentation pre-built, the end
user will still need makeinfo to make use of it.  I'm, therefore, leaning
towards requiring makeinfo at configure time.  Note that this is only about
makeinfo, not a full Texinfo install with texi2pdf, etc.  Attached is a
proposed patch.  Are there any comments?

--Rik

makeinfo_tst.diff
Description: Text Data