From 3ce88693f52807fd74ca67ce7a5f783381da3800 Mon Sep 17 00:00:00 2001 From: Thomas Preudhomme Date: Fri, 19 Aug 2016 09:10:38 +0100 Subject: [PATCH] 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. --- 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 9e1d9286e..9beda39e5 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