From 302503b86c3d25177dfc484a260219c962d3d9a4 Mon Sep 17 00:00:00 2001 From: RossC0 Date: Thu, 19 Jul 2007 14:49:35 +0000 Subject: [PATCH] #402 - Added href to h3 titles see: [#403] --- manual/new/DocTool.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/manual/new/DocTool.php b/manual/new/DocTool.php index 18fb5ea53..4e996c5b6 100644 --- a/manual/new/DocTool.php +++ b/manual/new/DocTool.php @@ -217,7 +217,7 @@ class DocTool } if ($section->getLevel() > $this->getOption('max-level')) { - echo ''; + echo ''; echo $name; echo ''; } else {