New frame mode for dox

diff --git a/doc/index.php b/doc/index.php
index 9d9fe7a82edcb33ebbd79043c27cebd56157c466..2a5a302270cc0578f3f792f5d38ed1c833aa50b9 100644 (file)
--- 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;
     }