Documentation

[Marc Espie]

In article < 20010919230554.A4190@fuchs.offl.uni-jena.de > you write:
>
>The GNU quotation style is wrong, which uses apostrophe and accent grave for
>quotation:

>
>	`hi!'


As far as TexInfo stuff goes, this is an issue with the way it works, to be
taken with people who maintain that program.

Specifically, TeXinfo can produce different formats, including TeX output.
And this usage of quotation marks in TeX predates unicode by a very, very
large margin...

As far as it goes, if you use vertical quotation marks in TeXinfo, you will
lose some valuable semantic information that may be hard to get back.

It should probably be possible to recognize `' as parenthesis, and do 
whatever  you want with them for info/ascii/html output. Yep, even output
the proper Unicode quotation marks...