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.
This commit is contained in:
Thomas Preudhomme 2016-08-19 09:10:38 +01:00 committed by Corinna Vinschen
parent 6f3943bca1
commit 3ce88693f5
1 changed files with 2 additions and 2 deletions

View File

@ -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. into another language, under the above conditions for modified versions.
@end titlepage @end titlepage
@ifinfo @ifnottex
@format @format
START-INFO-DIR-ENTRY START-INFO-DIR-ENTRY
* Embed with GNU: (porting-). Embed with GNU * Embed with GNU: (porting-). Embed with GNU
@ -62,7 +62,7 @@ into another language, under the above conditions for modified versions.
@node Top @node Top
@top Embed with GNU @top Embed with GNU
@end ifinfo @end ifnottex
@strong{Rough Draft} @strong{Rough Draft}
The goal of this document is to gather all the information needed to The goal of this document is to gather all the information needed to