[Top][All Lists]

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

Re: Info enhancements

From: Karl Berry
Subject: Re: Info enhancements
Date: Wed, 3 Dec 2003 14:42:10 -0500

    As far as I can see, a better format would have the line number before
    the description rather than after it, with the description indented 6

But then it would not follow the standard format for menus, i.e.,
<term>:<node name>.

reply via email to

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