nlopess Sat Jan 17 06:34:07 2004 EDT
Modified files: /livedocs error.php style_mapping.php xml_classes.php Log: added Index: livedocs/error.php diff -u livedocs/error.php:1.1 livedocs/error.php:1.2 --- livedocs/error.php:1.1 Sat Jan 17 06:32:28 2004 +++ livedocs/error.php Sat Jan 17 06:34:07 2004 @@ -18,7 +18,7 @@ // | Handles the 404 error and try to redirect to the good place. | // +----------------------------------------------------------------------+ // -// $Id: +// $Id: error.php,v 1.2 2004/01/17 11:34:07 nlopess Exp $ if (!empty($_SERVER['REDIRECT_URL'])) { // This is the requested page that caused the error Index: livedocs/style_mapping.php diff -u livedocs/style_mapping.php:1.1 livedocs/style_mapping.php:1.2 --- livedocs/style_mapping.php:1.1 Sat Jan 17 06:32:28 2004 +++ livedocs/style_mapping.php Sat Jan 17 06:34:07 2004 @@ -18,7 +18,7 @@ // | Helper functions for formatting elements | // +----------------------------------------------------------------------+ // -// $Id: +// $Id: style_mapping.php,v 1.2 2004/01/17 11:34:07 nlopess Exp $ // almost XPATH.. ;-) $map = array( Index: livedocs/xml_classes.php diff -u livedocs/xml_classes.php:1.1 livedocs/xml_classes.php:1.2 --- livedocs/xml_classes.php:1.1 Sat Jan 17 06:32:28 2004 +++ livedocs/xml_classes.php Sat Jan 17 06:34:07 2004 @@ -18,7 +18,7 @@ // | Two XML handling classes for the docbook to html transformation | // +----------------------------------------------------------------------+ // -// $Id: +// $Id: xml_classes.php,v 1.2 2004/01/17 11:34:07 nlopess Exp $ class Node { /* {{{ */