Date: Tue, 15 Apr 1997 11:52:09 +0300 (IDT)
From: Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
To: Ruiter de M <mdruiter AT cs DOT vu DOT nl>
cc: djgpp AT delorie DOT com
Subject: Re: Bug in INFO (-h)?
In-Reply-To: <5itg96$r3o@star.cs.vu.nl>
Message-ID: <Pine.SUN.3.91.970415115106.12996G-100000@is>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII


On 14 Apr 1997, Ruiter de M wrote:

> I noticed that, when I type `INFO -h', I _do_ get help, but at the end
> of it, there are some strange characters. A double-lined edge from the
> left up, then a capital gamma, then a `schoppen'

Yep, that's a bug, and it's *my* fault :-(.  A missing comma in the
sources is all that it takes to produce this bug.

But there's nothing that should be printed instead of the garbage, the
help text is all shown, so you don't lose any info.

The following patch to info.c corrects this bug:

*** gnu/texinfo3.9/info/info.c~0	Sun Oct  6 22:42:56 1996
--- gnu/texinfo3.9/info/info.c	Tue Apr 15 10:08:16 1997
***************
*** 560,566 ****
  #else
  "           "
  #endif
! "            [menu-selection ...]");
    exit (1);
  }
  
--- 560,566 ----
  #else
  "           "
  #endif
! ,"            [menu-selection ...]");
    exit (1);
  }