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

..

configure

[newlib]

2008-04-04 21:52:01 +00:00

configure.in

…

Makefile.in

2009-06-19 Joseph Myers <joseph@codesourcery.com>

2009-06-19 18:18:01 +00:00

porting.texi

Fix html build with makeinfo 5.2

2016-08-19 10:32:23 +02:00