Re: "# <<tag>>" should stick to the following text

[Bastien <bzg@gnu.org>]

Hi all,

Eric S Fraga <e.fraga@ucl.ac.uk> writes:

> But maybe I also am confused as to the current direction this is
> taking...

let me try to summarize and clarify.  Nicolas said it clearly: 

  At the moment, "<<tag>>" and "# <<tag>>" produce, respectively, 
  "<a name="tag" id="tag">tag</a>" and "<a name="tag" id="tag"></a>".

Nothing is deprecated _yet_ and there is no need for a notice or an
update of the manual to this regard.  Quoting Nicolas again:

  In a not so distant future "<<tag>>" will produce "<a name="tag"
  id="tag"></a>" and "# <<tag>>" will be ignored.

So this *will* be deprecated when the new exporter will be part of 
Org's core.  We will update the manual by then.

Nicolas lives in the future because he's so much into the new exporter,
so that's why he said this *is* deprecated, but this isn't really yet.


Please keep testing the new exporters -- all contributions in this area 
help a lot with the development!

Thanks,

-- 
 Bastien