This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Documentation
- To: pfk at fuchs dot offl dot uni-jena dot de
- Subject: Re: Documentation
- From: Marc Espie <espie at quatramaran dot ens dot fr>
- Date: Thu, 20 Sep 2001 08:15:14 +0200
- Cc: gcc at gcc dot gnu dot org
- Organization: Ecole Normale Superieure (quatramaran)
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...