845515267b
Seems that some versions of texinfo require the @menu to have all entries at the top level, so add the new build one to it. |
||
---|---|---|
.. | ||
Makefile.inc | ||
porting.texi |
845515267b
Seems that some versions of texinfo require the @menu to have all entries at the top level, so add the new build one to it. |
||
---|---|---|
.. | ||
Makefile.inc | ||
porting.texi |