#!/bin/sh # Bug where whitespace after @menu caused confusion. unset TEXINFO_OUTPUT : ${srcdir=.} input=`basename $0`.txi ../makeinfo -o /dev/null $srcdir/$input exit $? Date: 07 Dec 1998 11:23:44 +0100 From: Andreas Schwab To: bug-texinfo@gnu.org Subject: Makeinfo mishandles defaulted node links The following example demonstrates a bug in makeinfo: $ cat top.texi @setfilename top.info @node Top @top Top @menu * first:: @end menu @node first @chapter first @menu @c * second:: @end menu @node second @section second $ makeinfo top.texi Making info file `top.info' from `top.texi'. ./top.texi:3: Next field of node `Top' not pointed to. ./top.texi:17: This node (second) has the bad Prev. makeinfo: Removing output file `/home/as/test/top.info' due to errors; use --force to preserve. Makeinfo is being confused by the whitespace after @menu, or rather by its absence. 1998-12-06 Andreas Schwab * makeinfo/node.c (cm_node): When searching for @menu don't require a space after it. --- texinfo-3.12b/makeinfo/node.c.~1~ Mon Oct 26 23:14:59 1998 +++ texinfo-3.12b/makeinfo/node.c Sun Dec 6 00:23:59 1998 @@ -523,9 +523,10 @@ orig_size = size_of_input_text; input_text_offset = - search_forward ("\n@menu ", orig_offset); + search_forward ("\n@menu", orig_offset); - if (input_text_offset > -1) + if (input_text_offset > -1 + && cr_or_whitespace (input_text[input_text_offset + 6])) { char *nodename_from_menu = NULL; -- Andreas Schwab "And now for something schwab@issan.cs.uni-dortmund.de completely different" schwab@gnu.org