From 106140f7d15abcd1c0fb89824af0382a3c3ac1da Mon Sep 17 00:00:00 2001
From: moodler <moodler>
Date: Wed, 1 Jan 2003 15:13:56 +0000
Subject: [PATCH] New frame mode for dox

---
 doc/index.php | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/doc/index.php b/doc/index.php
index 9d9fe7a82ed..2a5a302270c 100644
--- a/doc/index.php
+++ b/doc/index.php
@@ -3,6 +3,7 @@
     require("../config.php");
 
     optional_variable($file, "");    // docs file to view
+    optional_variable($frame, "");    // docs file to view
     optional_variable($lang, "");    // override current language
 
     if (!empty($lang)) {
@@ -12,7 +13,11 @@
 
     if (empty($file)) {
         $include = false;
-        $file = "intro.html";
+        if (empty($frame)) {
+            $file = "intro.html";
+        } else {
+            $file = $frame;
+        }
     } else {
         $include = true;
     }