Re: make doc fails on current head

[Michael Brand <michael.ch.brand@gmail.com>]

Hi Bastien

On Thu, May 31, 2012 at 5:21 PM, Jonathan Leech-Pepin
<jonathan.leechpepin@gmail.com> wrote:
> If I revert to =git checkout HEAD~1= make doc succeeds as it had previously.

Funny that just out of curiosity and without any suspicion I came
across this regression of one of the org.texi lines written by me. The
intention of your change

-$3 = remote(FOO, @@@@#$2)      @r{copy column 2 from table FOO into}
+$3 = remote(FOO, @@@#$2)       @r{copy column 2 from table FOO into}

maybe was

+$3 = remote(FOO, @@#$2)        @r{copy column 2 from table FOO into}

but I can confirm that it should really compile to @@#$2 and not to
@#$2 or something else.

I'll think about if for this Org TBLFM expression I can find a less
confusing alternative for the texi domain. :-)

Michael