> 6. Some time ago I bumped our minimum required Texinfo version to
>    5.0 (for a few reasons[5]), and this is too new for stock Mac OS
>    X (makeinfo 4.8).  However, it should be possible to make
>    generated *.info files part of the distribution archive and
>    thereby reduce the dependency load for people who _don't_ care
>    about running "make doc" (which demands an entire working TeX
>    installation).

+1


    Werner

Reply via email to