Hi all, Eric S Fraga <e.fr...@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
