For example, wouldn't it be possible to have a switch at the top
which would make ``~'' an active character (in TeX terminology) which
would expand to @tie{}?
I understand the need, but unfortunately this would complicate the
Texinfo language far too much. One of its prime features is that the
only special characters are @ { }. Fooling around with the low-level
syntax would be very error-prone. Sorry.
If you have a program that automatically inserts ~, presumably it could
automatically insert @tie{} just as easily. Or, to be able to use ~,
you could always do sed 's/~/@tie{}/g' first :).
_______________________________________________
Bug-texinfo mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-texinfo
