[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Removing parser DIGIT (was: PATCH - DOC: Added @knownissue to NR for
From: |
Neil Puttock |
Subject: |
Re: Removing parser DIGIT (was: PATCH - DOC: Added @knownissue to NR for fingering |
Date: |
Tue, 22 Mar 2011 22:17:57 +0000 |
On 22 March 2011 17:20, David Kastrup <address@hidden> wrote:
> This.
>
> <URL:http://codereview.appspot.com/4311041>
>
> Please improve/discuss. This looks totally insane but does not actually
> change the existing absurd realities for single-digit unsigned numbers.
I'm afraid I can't even get as far as running `make check' since
you've removed the rule which allows this,
\paper {
indent = 5\mm
}
unless we redefine all these settings using real numbers.
Cheers,
Neil