pintos-os.org Git - pintos-anon/blob - doc/pintos-t2h.init

   1 sub T2H_InitGlobals
   2 {
   3     # Set the default body text, inserted between <BODY ... >
   4     $T2H_BODYTEXT = '';
   5     # text inserted after <BODY ...>
   6     $T2H_AFTER_BODY_OPEN = '';
   7     #text inserted before </BODY>
   8     $T2H_PRE_BODY_CLOSE = '';
   9     # this is used in footer
  10     $T2H_ADDRESS = "<I>$T2H_USER</I> " if $T2H_USER;
  11     $T2H_ADDRESS .= "on <I>$T2H_TODAY</I>";
  12     # this is added inside <HEAD></HEAD> after <TITLE> and some META NAME stuff
  13     # can be used for <style> <script>, <meta> tags
  14     $T2H_EXTRA_HEAD = "<LINK REL=\"stylesheet\" HREF=\"pintos.css\">";
  15 }
  16 1;