[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: Character substitutions in cut+paste [WAS:] What's the leastinput in
From: |
Sven Axelsson |
Subject: |
RE: Character substitutions in cut+paste [WAS:] What's the leastinput into a score to get midi output added? |
Date: |
Fri, 29 Jul 2005 19:18:12 +0200 |
> From: dax2 [mailto:address@hidden
>
> On Fri, 29 Jul 2005 13:48:13 +0200
> Sven wrote:
>
> As I have written elsewhere, the examples are correct and ps2ascii
> will print the correct codes, HOWEVER: cut+paste from Adobe
> Acrobat-reader will not get the quote correct on my system with
> X11 and a glibc with POSIX environment (which should be clean
> ASCII and latin1 :-)
>
> Do you (Sven) know how the Lilypond documentation is generated?
Not as such - I haven't tried to build it myself. Looking at the
stepmake rules it seems to be a horrible mess of Python scripts,
emacs batches, texinfo runs and whatnot. Doesn't look like fun
to maintain.
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
But where to put that to get texinfo to use it I cannot say
right now. I could try to find out if there is interest?
--
Sven Axelsson
- Re: Bad sourcefont [WAS:]What's the least input into a score to get midi output added?, (continued)
- Re: Bad sourcefont [WAS:]What's the least input into a score to get midi output added?, dax2, 2005/07/28
- Re: What's the least input into a score to get midi output added?, Han-Wen Nienhuys, 2005/07/28
- RE: What's the least input into a score to get midi output added?, Fairchild, 2005/07/28
- Re: What's the least input into a score to get midi output added?, Han-Wen Nienhuys, 2005/07/29
- RE: What's the least input into a score to get midi output added?, Sven Axelsson, 2005/07/29
- Re: What's the least input into a score to get midi output added?, Han-Wen Nienhuys, 2005/07/29
- RE: What's the least input into a score to get midi output added?, Sven Axelsson, 2005/07/29
- Re: What's the least input into a score to get midi output added?, Han-Wen Nienhuys, 2005/07/29
- RE: What's the least input into a score to get midi output added?, Sven Axelsson, 2005/07/29
- Re: Character substitutions in cut+paste [WAS:] What's the least input into a score to get midi output added?, dax2, 2005/07/29
- RE: Character substitutions in cut+paste [WAS:] What's the leastinput into a score to get midi output added?,
Sven Axelsson <=
- Re: What's the least input into a score to get midi output added?, Graham Percival, 2005/07/29
- Re: What's the least input into a score to get midi output added?, Graham Percival, 2005/07/29
- Re: What's the least input into a score to get midi output added?, Laura Conrad, 2005/07/29
- RE: What's the least input into a score to get midi output added?, Sven Axelsson, 2005/07/29
- Re: What's the least input into a score to get midi output added?, Graham Percival, 2005/07/29
- Re: What's the least input into a score to get midi output added?, David Raleigh Arnold, 2005/07/29
- Re: What's the least input into a score to get midi output added?, Jay Hamilton, Sound and Silence, 2005/07/29
- Re: What's the least input into a score to get midi output added?, dax2, 2005/07/29
- RE: What's the least input into a score to get midi output added?, Fairchild, 2005/07/29
- Re: What's the least input into a score to get midi output added?, dax2, 2005/07/28