Re: [patch 3/3] case insensitive: the fix [rediff]

[Eli Zaretskii <eliz@gnu.org>]

> Date: Fri, 22 Apr 2011 20:41:29 +0200
> From: Jan Kratochvil <jan.kratochvil@redhat.com>
> 
> gdb/doc/
> 2011-04-22  Jan Kratochvil  <jan.kratochvil@redhat.com>
> 
> 	* gdb.texinfo (Index Section Format): Change the version to 5.
> 	Describe the different formula.

Thanks.

> +the string is incorporated into the hash using the formula depending on the
> +index version.  The terminating @samp{\0} is not incorporated into the hash.
> +
> +@table @asis
> +@item index version 4
> +The formula in use is @code{r = r * 67 + c - 113}.
> +
> +@item index version 5
> +The formula in use is @code{r = r * 67 + tolower (c) - 113}.
> +@end table

This @table will look weird in the manual: it produces lines that
begin with a lower-case letter.  Perhaps reorder thusly:

  the string is incorporated into the hash using the formula depending on the
  index version:
  @table @asis
  @item Version 4
  The formula is @code{r = r * 67 + c - 113}.

  @item Version 5
  The formula is @code{r = r * 67 + tolower (c) - 113}.
  @end table