On 2013-06-21 13:28, Nicolas Goaziou wrote:

Carsten Dominik <carsten.domi...@gmail.com> writes:

This is a good change - I am also for merging it.

Applied on master, since it introduces a syntax change. Tell me if you
want it on maint anyway (or just cherry-pick it yourself).

As for the move from #+OPTIONS: key:value to #+OPTIONS: :key value,
I can provide a patch, but it will break export in many documents.
A workaround would be to support both versions and document only the
newest one.

+1 for supporting both versions (with a deprecation on the old syntax) until
the next major release.


Reply via email to