die('ERROR: Document not found.');
}
$doc = file_get_contents($config->filename);
// Get the classes:
require_once 'assets/markdown.php';
require_once 'assets/markdown.mdocs.php';
require_once 'assets/toc.php';
require_once 'assets/menu.php';
require_once 'assets/geshi.php';
require_once 'assets/geshi.mdocs.php';
// Initialize Markdown
$markdown = new MarkdownExtra_Parser_mDocs();
$markdown->maxlevel =& $config->maxlevel;
$markdown->minlevel =& $config->minlevel;
// Initialize Table of Contents
$toc = new TOC();
$toc->content =& $doc;
$toc->maxlevel =& $config->maxlevel;
$toc->minlevel =& $config->minlevel;
$toc->delimiter = ':';
$toc->trim = '$ ';
// Initialize Docs Menu
$menu = new menu();
$menu->dir =& $config->path;
$menu->filetype =& $config->extension;
// Initialize GeSHi (Syntax Highlighting)
$geshi = new GeSHi_mDocs();
$geshi->default_language =& $config->language;
// Apply Markdown Syntax:
$doc = $markdown->transform($doc);
// Apply GeSHi Syntax Highlighting:
function __construct($map)
{
TOC::__construct($map);
}
*
* p.mapper is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation; either version 2 of the License, or
* (at your option) any later version. See the COPYING file.
*
* p.mapper is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with p.mapper; if not, write to the Free Software
* Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
*
******************************************************************************/
require_once "../group.php";
require_once "../pmsession.php";
require_once "../common.php";
require_once "../globals.php";
require_once "../toc.php";
$categories = $_SESSION['useCategories'] ? $_SESSION['categories'] : false;
$toc = new TOC($map);
if ($_SESSION['useCategories']) {
$tocHTML = $toc->writeCategories();
} else {
$tocHTML = $toc->writeGroups();
}
$grpStyle = $toc->getTocStyle();
header("Content-Type: text/plain; charset={$defCharset}");
echo "{$tocHTML}";
