Hi Bastien, Bastien wrote: > "Sean O'Halpin" <sean.ohal...@gmail.com> writes: > >> One small point: as we're going to have to change the meta directive >> "#+STYLE" to "#+HTML_STYLE", can we change the name to reflect what it >> really does in the HTML backend, i.e. insert text verbatim into the >> <head> element? I suggest we rename it to "#+HTML_HEAD". > > Done. You can now use HTML_HEAD instead of HTML_STYLE. > > Some variables were also renamed, check the details here: > http://orgmode.org/cgit.cgi/org-mode.git/commit/?id=2752ef
Isn't it peculiar to rename STYLE into HEAD, in all affected vars but one? - html-STYLE-include-default -> html-STYLE-include-default (unchanged) - html-STYLE-include-scripts -> html-HEAD-include-scripts - org-html-STYLE-include-default -> org-html-HEAD-include-default-STYLE - org-html-STYLE-include-scripts -> org-html-HEAD-include-scripts Best regards, Seb -- Sebastien Vauban
