forcelogin) {
require_login();
}
if (!empty($sub)) {
$sub = "#$sub";
} else {
$sub = "";
}
if (empty($file)) {
$include = false;
if (empty($frame)) {
$file = "intro.html";
} else {
$file = $frame;
}
} else {
$include = true;
}
if (! document_file($file, $include)) {
error("Error 404 - File Not Found");
}
if ($include) {
exit;
}
?>
<?php print_string("documentation")?>
" />