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