Better way to include initial intro.html

diff --git a/doc/index.php b/doc/index.php
index 02d7094a7fee2ade5e79d94ccf14ba2d3814b074..0c9c512a080ed4d002d5d92c400cb03658cbe0fc 100644 (file)
--- a/doc/index.php
+++ b/doc/index.php
@@ -11,7 +11,7 @@
         $include = true;
     }
 
-    $info = document_file($file, $include);
+    document_file($file, $include);
 
     if ($include) {
         exit;
@@ -27,6 +27,6 @@
     <FRAME NAME="top" SRC="top.php">
     <FRAMESET COLS="200,*">
         <FRAME NAME="contents" SRC="contents.php">
-        <FRAME NAME="main" SRC="<?PHP echo "$info->urlpath"; ?>">
+        <FRAME NAME="main" SRC="index.php?file=<?PHP echo "$file"; ?>">
     </FRAMESET>
 </FRAMESET>