Re: Working on Issue 1135

[Marc Hohl]

Am 12.09.2011 14:41, schrieb Neil Puttock:
> 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.
I created a new directory, made a git repository from scratch,
changed the one line and did

make all
make doc

HTH,

Marc
> Cheers,
> Neil