[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [O] make doc fails on current head
From: |
Nick Dokos |
Subject: |
Re: [O] make doc fails on current head |
Date: |
Thu, 31 May 2012 17:58:12 -0400 |
Michael Brand <address@hidden> wrote:
> Hi Bastien
>
> On Thu, May 31, 2012 at 5:21 PM, Jonathan Leech-Pepin
> <address@hidden> 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