@@ -87,7 +87,7 @@ not be modified."
if(elem.cacheClassTarget)
target.className = elem.cacheClassTarget;
}
-/*]]>*/-->
+/*]]>*///-->
</script>"
"Basic javascript that is needed by HTML files produced by Org-mode.")
@@ -111,7 +111,7 @@ means to use the maximum value consistent with other options."
<!--/*--><![CDATA[/*><!--*/
%MANAGER_OPTIONS
org_html_manager.setup(); // activate after the parameters are set
"The template for the export style additions when org-info.js is used.
Option settings will replace the %MANAGER-OPTIONS cookie."