2002-10-29 14:48:58 +00:00
|
|
|
<?PHP // $Id$
|
|
|
|
|
|
|
|
|
|
require("../config.php");
|
|
|
|
|
|
2002-12-29 14:39:52 +00:00
|
|
|
optional_variable($file, ""); // docs file to view
|
2002-10-29 14:48:58 +00:00
|
|
|
|
2002-12-29 14:39:52 +00:00
|
|
|
if (empty($file)) {
|
|
|
|
|
$include = false;
|
|
|
|
|
$file = "intro.html";
|
|
|
|
|
} else {
|
|
|
|
|
$include = true;
|
|
|
|
|
}
|
|
|
|
|
|
2002-12-29 14:43:49 +00:00
|
|
|
document_file($file, $include);
|
2002-10-29 14:48:58 +00:00
|
|
|
|
2002-12-29 14:39:52 +00:00
|
|
|
if ($include) {
|
|
|
|
|
exit;
|
2002-10-29 14:48:58 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
?>
|
|
|
|
|
|
|
|
|
|
<HEAD>
|
|
|
|
|
<TITLE>Moodle Documentation</TITLE>
|
|
|
|
|
</HEAD>
|
|
|
|
|
|
|
|
|
|
<FRAMESET ROWS="70,*">
|
|
|
|
|
<FRAME NAME="top" SRC="top.php">
|
|
|
|
|
<FRAMESET COLS="200,*">
|
|
|
|
|
<FRAME NAME="contents" SRC="contents.php">
|
2002-12-29 14:43:49 +00:00
|
|
|
<FRAME NAME="main" SRC="index.php?file=<?PHP echo "$file"; ?>">
|
2002-10-29 14:48:58 +00:00
|
|
|
</FRAMESET>
|
|
|
|
|
</FRAMESET>
|
