Re: texinfo.tex and translated docs snippets status

[Werner LEMBERG]

> > Bit late, I know, but do we WANT to replace quotes with curly
> > quotes?  It's quite easy to cut-n-paste from pdf into a lily file,
> > and then lily will choke on the pasted code ... (and some of us
> > don't work on line, and some of this html manuals are the work of
> > the devil ... :-)
> 
> Whoops!  Good catch, Anthony.
> 
> Yes, we definitely do **not** want to replace quotes.

In examples, the quotes should not replaced, of course.  However, in
normal text, @q{foo} should make correct use of curly quotes, both in
PDF and HTML output.


     Werner