File list
';
$restfiles = glob($rest_dir. "/*");
//$list = $lastdir = "";
$list = "";
foreach($restfiles as $filename) {
$link = basename($filename, ".rest");
$filename = basename($link);
// Only use the "last part" of the filename (i.e. README.FOOBAR => FOOBAR)
if (strpos($filename, ".") !== false) {
$filename = substr($filename, strpos($filename, ".")+1);
}
$filename = str_replace(array("-", "_"), " ", $filename);
$list .= '- '.$filename.'
'."\n";
}
if ($list) {
$SIDEBAR_DATA .= "$list
";
} else {
$SIDEBAR_DATA .= "No files available";
}
$SIDEBAR_DATA .= "";
$filename = $rest_dir. "/" .str_replace('/', '_', $path).'.rest';
if (($k = array_search($filename, $restfiles)) === false) {
site_header("reST");
if($path) {
echo 'Unknown file
';
}
echo "Please select a file from the filelist on the left
";
} else {
site_header(basename($path));
include $restfiles[$k];
manual_notes();
}
site_footer();