On Sep 19, 2007, at 3:53, Bastien wrote:
What about a new ":extension" property for project?
It will be :html-extension
For example, we could use this to publish "HTML" pages as .php files, given that PHP code can be inserted between #+BEGIN_HTML and #+END_HTML And maybe an Org option for this (no going through the org-publish interface) would also be useful: org-export-html-extension
Done, thanks. - Carsten -- Carsten Dominik Sterrenkundig Instituut "Anton Pannekoek" Universiteit van Amsterdam Kruislaan 403 NL-1098SJ Amsterdam phone: +31 20 525 7477 _______________________________________________ Emacs-orgmode mailing list Remember: use `Reply All' to send replies to the list. Emacs-orgmode@gnu.org http://lists.gnu.org/mailman/listinfo/emacs-orgmode