Thomas Preudhomme 3ce88693f5 Fix html build with makeinfo 5.2 ... HTML build fails with makeinfo 5.2 with the following error: libgloss/doc/porting.texi:73: @menu seen before first @node libgloss/doc/porting.texi:73: perhaps your @top node should be wrapped in @ifnottex rather than @ifinfo? Following the advice indeed solve the issue while still allowing pdf, dvi and info builds to work.		2016-08-19 10:32:23 +02:00
..
Makefile.in	2009-06-19 Joseph Myers <joseph@codesourcery.com>	2009-06-19 18:18:01 +00:00
configure	[newlib]	2008-04-04 21:52:01 +00:00
configure.in	…
porting.texi	Fix html build with makeinfo 5.2	2016-08-19 10:32:23 +02:00