[newlib-cygwin] Fix html build with makeinfo 5.2

[Corinna Vinschen <corinna at sourceware dot org>]

https://sourceware.org/git/gitweb.cgi?p=newlib-cygwin.git;h=3ce88693f52807fd74ca67ce7a5f783381da3800

commit 3ce88693f52807fd74ca67ce7a5f783381da3800
Author: Thomas Preudhomme <thomas.preudhomme@foss.arm.com>
Date:   Fri Aug 19 09:10:38 2016 +0100

    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.

Diff:
---
 libgloss/doc/porting.texi | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/libgloss/doc/porting.texi b/libgloss/doc/porting.texi
index 9e1d928..9beda39 100644
--- a/libgloss/doc/porting.texi
+++ b/libgloss/doc/porting.texi
@@ -39,7 +39,7 @@ Permission is granted to copy and distribute translations of this manual
 into another language, under the above conditions for modified versions.
 @end titlepage
 
-@ifinfo
+@ifnottex
 @format
 START-INFO-DIR-ENTRY
 * Embed with GNU: (porting-).         Embed with GNU
@@ -62,7 +62,7 @@ into another language, under the above conditions for modified versions.
 @node Top
 @top Embed with GNU
 
-@end ifinfo
+@end ifnottex
 @strong{Rough Draft}
 
 The goal of this document is to gather all the information needed to