doc: Utility script to inject markup into manual page head sections
[charm.git] / doc / dot.latex2html-init
index 3eb2c2b3d7b75c82e6539111aa5afaf59d01915c..595b553e50cd1c00b12d18467ba5014fd4bb0826 100644 (file)
@@ -154,8 +154,6 @@ $TITLES_LANGUAGE = "english";
 sub top_navigation_panel {
     # "<!--#include virtual=\"/includes/top.shtml\"-->" .
     #"<style type=\"text/css\"><!--@import url(\"manual.css\");--></style>" .
-               "<link href='http://fonts.googleapis.com/css?family=Puritan' rel='stylesheet' type='text/css'>" .
-
     "<DIV class=\"ManualTitle\">Charm++ Parallel Programming System: Manual</DIV>\n" .
 
     # Now add a few buttons with a space between them
@@ -205,4 +203,17 @@ sub bot_navigation_panel {
   
 }
 
+# Add more tags etc to the head section of each page
+sub replace_morelinks {
+    $_ =~ s/$more_links_mark/$more_links."\n".&head_tags()/e;
+}
+
+sub head_tags {
+    "<!-- Inserted from l2h_init.pl -->\n" .
+    "<link href='http://fonts.googleapis.com/css?family=Puritan' rel='stylesheet' type='text/css'>\n" .
+    "<link href='http://fonts.googleapis.com/css?family=Droid Sans' rel='stylesheet' type='text/css'>\n" .
+    "<script src='https://ajax.googleapis.com/ajax/libs/jquery/1.7.2/jquery.min.js' type='text/javascript'></script>\n" .
+    "<!-- end of inserted tags -->\n"
+}
+
 1;     # This must be the last line