bug-texinfo
[Top][All Lists]

## 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!