[PHP-DOC] cvs: livedocs / handlers.php livedoc.php

[Nuno Lopes]

nlopess         Tue Apr 27 10:07:11 2004 EDT

  Modified files:              
    /livedocs   handlers.php livedoc.php 
  Log:
  better title handling (error free now)
  
http://cvs.php.net/diff.php/livedocs/handlers.php?r1=1.2&r2=1.3&ty=u
Index: livedocs/handlers.php
diff -u livedocs/handlers.php:1.2 livedocs/handlers.php:1.3
--- livedocs/handlers.php:1.2   Tue Apr 20 16:13:13 2004
+++ livedocs/handlers.php       Tue Apr 27 10:07:11 2004
@@ -18,7 +18,7 @@
 // | Special Handlers for $aliases                                        |
 // +----------------------------------------------------------------------+
 //
-// $Id: handlers.php,v 1.2 2004/04/20 20:13:13 didou Exp $
+// $Id: handlers.php,v 1.3 2004/04/27 14:07:11 nlopess Exp $
 
 
 /***********************************
@@ -45,7 +45,8 @@
 
 function handle_contents() 
 {
-       return '<center><h1>' . MANUAL_TITLE . '</h1></center><h2>Contents</h2>' . 
do_contents(1, 0);
+       GLOBAL $title;
+       return '<center><h1>' . $title . '</h1></center><h2>Contents</h2>' . 
do_contents(1, 0);
 }
 
 /*******************
http://cvs.php.net/diff.php/livedocs/livedoc.php?r1=1.92&r2=1.93&ty=u
Index: livedocs/livedoc.php
diff -u livedocs/livedoc.php:1.92 livedocs/livedoc.php:1.93
--- livedocs/livedoc.php:1.92   Tue Apr 20 16:56:20 2004
+++ livedocs/livedoc.php        Tue Apr 27 10:07:11 2004
@@ -18,7 +18,7 @@
 // | Generate an HTML version of a phpdoc/docbook page on the fly         |
 // +----------------------------------------------------------------------+
 //
-// $Id: livedoc.php,v 1.92 2004/04/20 20:56:20 didou Exp $
+// $Id: livedoc.php,v 1.93 2004/04/27 14:07:11 nlopess Exp $
 
 define('LIVEDOC_SOURCE', dirname(__FILE__));
 include LIVEDOC_SOURCE . '/common.php';
@@ -26,7 +26,6 @@
 include LIVEDOC_SOURCE . '/style_mapping.php';
 include LIVEDOC_SOURCE . '/handlers.php';
 include LIVEDOC_SOURCE . '/themes/' . THEME_NAME . '/html_format.php';
-include LIVEDOC_SOURCE . '/mk_' . BUILD_TYPE . '.php';
 
 if (!isset($_GET['q'])) {
        // Handles the 404. If a matching page is found, we redirect to it.