bug-texinfo
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: bug in makeinfo-4.7

From: Karl Berry
Subject: Re: bug in makeinfo-4.7
Date: Tue, 31 Aug 2004 18:23:05 -0400 
Hi Stepan,

    gawk.texi:23425: Unknown command `"urgen'.
    gawk.texi:1444: Unknown command `"urgen'.

    Both lines contain the same text:
    @cindex Kahrs, J@"urgen

I checked in what I hope is a fix for this without breaking anything new.
Thanks for reporting it.

karl
reply via email to
[Prev in Thread] Current Thread [Next in Thread]