[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: index problem

From: Werner LEMBERG
Subject: Re: index problem
Date: Thu, 20 Sep 2001 17:13:54 +0200 (CEST)

> We got lucky ;-)  It turned out this is quite easy to fix.  Please try
> this change:
> 2001-09-09  Eli Zaretskii  <address@hidden>
>       * info/echo-area.c (build_completions): Look for a candidate
>       completion which matches user's request including the letter-case,
>       use that as the value of LCD_completion.

Currently, I don't have time to experiment with it -- will it go into
the makeinfo distribution?  And when is a new version available?


PS: Is makeinfo available as anonymous CVS?

reply via email to

[Prev in Thread] Current Thread [Next in Thread]