Single quote in the PDF documentation (was Re: Abort without error message, and pdf manual bug)

[Sven Axelsson]

On 15/10/05, Han-Wen Nienhuys <address@hidden> wrote:

> Graham Percival wrote:
> > Devel: given that it doesn't seem that we can fix TeX's broken
> > interpretation of
> > "verbatim", I think that this would be worth addressing this in
> > lilypond's parser.  I know
> > it sucks to add a special case just for this, but people can reasonably
> > expect
> > to be able to cut and paste from the manual (be it HTML or PDF).
>
> This is problematic. The ' is not handled by LilyPond, but rather by
> GUILE.  It is probably easier to request a solution from the texinfo people.
>

I'm sure it can be done reasonably simply though. As I posted some
months ago, it is easy enough to get TeX to output a "real" single
quote instead of a curly one. This is how to do that:

Quote Sven Axelsson:
  Anyhow, this is how to get TeX to use straight single quotes that
  work right when copied from a PDF.

  Redefine the ' character as:
  \catcode`'=\active\gdef'{\char"0D}

  The following small fragment shows the difference:

  \tt Test \#'(1 . 2)
  \par
  \catcode`'=\active\gdef'{\char"0D}
  \tt Test \#'(1 . 2)
  \end
End Quote

But I don't understand the TeXinfo build process well enough to tell
you where to put this to get it working. I'm using windows, so the
chance of me getting the documentation build working on my machine is
probably real slim. But maybe someone with a good grasp of how the
build works could have another look? I'm sure there is a style setup
file or a global include somewhere that could be patched.

--
Sven Axelsson