[O] [PATCH] Minor docfix

[Philipp Moeller]

Hi,

as of 8.0 org-html uses org-html-head as a prefix for everything related
to the HTML head. In one line the documentation is still referring to an
old variable. AFAICT setting HTML_INCLUDE_STYLE also doesn't have any
effect, but I haven't really confirmed that.

Cheers,
Philipp

diff --git a/doc/org.texi b/doc/org.texi
index a4a12ef..9f830fd 100644
--- a/doc/org.texi
+++ b/doc/org.texi
@@ -11249,7 +11249,7 @@ Each exported file contains a compact default style 
that defines these
 classes in a basic address@hidden style is defined in the constant
 @code{org-html-style-default}, which you should not modify.  To turn
 inclusion of these defaults off, customize
address@hidden or set @code{#+HTML_INCLUDE_STYLE}
address@hidden or set @code{#+ORG-HTML-HEAD-INCLUDE-DEFAULT-STYLE}
 to @code{nil} on a per-file basis.}.  You may overwrite these settings, or add 
to
 them by using the variables @code{org-html-head} and
 @code{org-html-head-extra}.  You can override the global values of these