diff options
author | Thomas Preudhomme <thomas.preudhomme@foss.arm.com> | 2016-08-19 09:10:38 +0100 |
---|---|---|
committer | Corinna Vinschen <corinna@vinschen.de> | 2016-08-19 10:32:23 +0200 |
commit | 3ce88693f52807fd74ca67ce7a5f783381da3800 (patch) | |
tree | 0cc5a17d0eac0c6c7a35963e11d10dd92417df52 /libgloss/doc | |
parent | 6f3943bca189a934a6a04576b9a83db625a87d9f (diff) | |
download | newlib-3ce88693f52807fd74ca67ce7a5f783381da3800.zip newlib-3ce88693f52807fd74ca67ce7a5f783381da3800.tar.gz newlib-3ce88693f52807fd74ca67ce7a5f783381da3800.tar.bz2 |
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.
Diffstat (limited to 'libgloss/doc')
-rw-r--r-- | libgloss/doc/porting.texi | 4 |
1 files 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 |