doc/index.php

   1 <?PHP  // $Id$
   2
   3     require("../config.php");
   4
   5     optional_variable($file, "");     // docs file to view
   6     optional_variable($frame, "");    // docs file to view
   7     optional_variable($sub, "");      // sub-section (named anchor)
   8     optional_variable($lang, "");     // override current language
   9
  10     if (!empty($lang)) {
  11         $SESSION->lang = $lang;
  12     }
  13
  14     if (!empty($sub)) {
  15         $sub = "#$sub";
  16     } else {
  17         $sub = "";
  18     }
  19
  20     if (empty($file)) {
  21         $include = false;
  22         if (empty($frame)) {
  23             $file = "intro.html";
  24         } else {
  25             $file = $frame;
  26         }
  27     } else {
  28         $include = true;
  29     }
  30
  31     if (! document_file($file, $include)) {
  32         error("Error 404 - File Not Found");
  33     }
  34
  35     if ($include) {
  36         exit;
  37     }
  38
  39 ?>
  40
  41 <head>
  42     <title><?php print_string("documentation")?></title>
  43 </head>
  44
  45 <frameset rows="70,*">
  46     <frame name="top" src="top.php">
  47     <frameset cols="200,*">
  48         <frame name="contents" src="contents.php">
  49         <frame name="main" src="index.php?file=<?php echo "$file$sub"; ?>">
  50     </frameset>
  51 </frameset>