[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [O] make doc fails on current head
From: |
Michael Brand |
Subject: |
Re: [O] make doc fails on current head |
Date: |
Fri, 1 Jun 2012 05:16:08 +0200 |
Hi Nick
On Thu, May 31, 2012 at 11:58 PM, Nick Dokos <address@hidden> wrote:
> 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?
Yes.
Michael