Re: [O] What Happened to org-export-html-extension?

[Ian Barton]

On 03/04/13 12:26, Bastien wrote:
> Hi Ian,
>
> Ian Barton <address@hidden> writes:
>
> > Thanks for the clear explanation. Using my own function works, but this
> > does seem to be a regression. Defining your own extension is useful e.g. if
> > you want to emit .php files.
>
> Indeed.  I fixed this regression, and using either :html-extension in
> publication projects or (setq org-html-extension "php") globally will
> work now.
>
> Thanks for reporting this,
And thanks for fixing it!

Ian.