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 | ||
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 | ||