Re: Ugly Index

[Akim Demaille]

[...]

 > Sorry,

:)  No real problem.  It's just not nice, but still "correct" in some
way.


 > P.S. BTW, the implicit @code is messing up the typesetting in your
 > index, the titles are in typewriter.  
 > @deffn {Book} address@hidden: Principles, Techniques and Tools}} {-- Alfred 
 > V. Aho, Ravi Sethi, and Jeffrey D. Ullman}
 > produces slanted typewriter, at least :(.  Hmm.

Yep, I know, but @deffn seems the best bet to have a "generic" def
mechanism.  You told me that it was being revised anyway, so I can
wait...  It would be great for Texinfo to provide a means to define
such def environments...