[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Working on Issue 1135
|
From: |
Neil Puttock |
|
Subject: |
Re: Working on Issue 1135 |
|
Date: |
Mon, 12 Sep 2011 13:41:51 +0100 |
On 12 September 2011 13:32, Marc Hohl <address@hidden> wrote:
> ok, but does that mean that issue 1135 can be closed?
> As mentioned elsewhere, I replaced @findex by @funindex in
>
> scm/document-identifiers.scm
>
> but this seems to change nothing ...
Did you ensure it's rebuilt properly? IIUC you need to touch
something like notation.tely to regenerate it.
Cheers,
Neil
Re: Working on Issue 1135, David Kastrup, 2011/09/12