Re: quotation marks [was Re: TUTORIAL.de updated]

[Tom Tromey]

>>>>> "Stephen" == Stephen J Turnbull <address@hidden> writes:

Stephen> GCC is using *both* %` to supply mirrored quotes *and* %<, %> to
Stephen> supply individual quotes?

Yes, you can use %< and %>, or use the 'q' flag to quote.

Stephen> If so, -1 to GCC, too.

It is convenient in practice.  %<..%> is more frequently used to quote
literal text, though I do see a few instances of %<%s%> in the tree,
where %qs would have been simpler.

Tom