Update docs.

[pintos-anon] / doc / pintos-t2h.init
diff --git a/doc/pintos-t2h.init b/doc/pintos-t2h.init

new file mode 100644 (file)

index 0000000..064e25a
--- /dev/null
+++ b/doc/pintos-t2h.init
@@ -0,0 +1,16 @@
+sub T2H_InitGlobals
+{
+    # Set the default body text, inserted between <BODY ... >
+    $T2H_BODYTEXT = '';
+    # text inserted after <BODY ...>
+    $T2H_AFTER_BODY_OPEN = '';
+    #text inserted before </BODY>
+    $T2H_PRE_BODY_CLOSE = '';
+    # this is used in footer
+    $T2H_ADDRESS = "<I>$T2H_USER</I> " if $T2H_USER;
+    $T2H_ADDRESS .= "on <I>$T2H_TODAY</I>";
+    # this is added inside <HEAD></HEAD> after <TITLE> and some META NAME stuff
+    # can be used for <style> <script>, <meta> tags
+    $T2H_EXTRA_HEAD = "<LINK REL=\"stylesheet\" HREF=\"pintos.css\">";
+}
+1;