bug-texinfo
[Top][All Lists]
Advanced

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

Re: Texindex: Leave out \initial{x} if there's only one


From: Karl Berry
Subject: Re: Texindex: Leave out \initial{x} if there's only one
Date: Wed, 3 Apr 2002 16:14:45 -0500

    which eliminates the problem
    with them being out of date all the time.  

FWIW, my approach is to use the --help output and help2man.

    It's a dirty hack right now, but if it were cleaned up would you be
    interested in distributing it with the rest of the Texinfo package?

Tom Tromey just suggested the same thing.  I haven't had a chance to
look at what you've done yet.  It seems impossible to me that the same
text can be used for man pages and real manuals?  One or the other must
surely suffer.

But anyway, sure, I'm interested in principle ...

Thanks!



reply via email to

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