Re: make doc fails on current head

[Nick Dokos <nicholas.dokos@hp.com>]

Michael Brand <michael.ch.brand@gmail.com> wrote:

> 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. :-)
> 

Just to make sure, you are saying that commit
4144c55ec78a4fdf246c64a4130f807eec50a913 should be reverted - the four @
signs in org.texi produce two @ signs in the produced info file, and
that's the way the info file should be. Do I undertand correctly?

Thanks,
Nick