Tools.Standalone.autodoc_to_split_html: Added hook for adding extra html headers.

8e0d84fa · Henrik (Grubba) Grubbström · 99f9ac26 · 8e0d84fa · 8e0d84fa · 8e0d84fa
Commit 8e0d84fa authored 13 years ago by Henrik (Grubba) Grubbström
--- a/lib/modules/Tools.pmod/Standalone.pmod/autodoc_to_split_html.pike
+++ b/lib/modules/Tools.pmod/Standalone.pmod/autodoc_to_split_html.pike
@@ -639,6 +639,8 @@ class Node
      prev_url   = make_link(prev);
    }

+    string extra_headers = "";
+
    string res = replace(template,
      (["$navbar$": make_navbar(),
 	"$contents$": make_content(),
@@ -652,6 +654,7 @@ class Node
 	"$dotdot$": extra_prefix,
 	"$imagedir$":image_prefix(),
 	"$filename$": _Roxen.html_encode_string(make_filename()),
+	"$extra_headers$": extra_headers,
      ]));

    if (exporter) {
@@ -865,6 +868,13 @@ int low_main(string doc_file, string template_file, string outdir,
    template = replace(template,
 		       ({ "$dotdot$/images/" }),
 		       ({ "$imagedir$" }));
+
+    if (!has_value(template, "$extra_headers$")) {
+      template = replace(template,
+			 ({ "<head>" }),
+			 ({ "<head>\n"
+			    "$extra_headers$" }));
+    }
  }

  top->make_html(template, outdir, exporter);

--- a/refdoc/structure/modref.html
+++ b/refdoc/structure/modref.html
@@ -2,6 +2,7 @@
  <head>
    <title>Pike Reference Manual - $title$</title>
    <link rel='stylesheet' href='$style$' />
+    $extra_headers$
  </head>
  <body link="#0768b2" alink="#002040" vlink="#0768b2">
    <header>

--- a/refdoc/structure/pelix_modref.html
+++ b/refdoc/structure/pelix_modref.html
@@ -12,6 +12,8 @@ h2         { margin-bottom: 4px; }
 td         { font-family: arial, helvetica, sans-serif; font-size: 13px; }
 </style>

+  $extra_headers$
+
 </head>

 <body leftmargin="0" vlink="#0768b2" marginheight="0" bottommargin="0" bgcolor="white" marginwidth="0" text="#343434" link="#0768b2" topmargin="0" rightmargin="0" alink="#002040" >