From 5e0ff187c7ae6adaafcc3f59fb6018647d523d6c Mon Sep 17 00:00:00 2001
From: skodak <skodak>
Date: Tue, 29 Aug 2006 20:38:23 +0000
Subject: [PATCH] better handling of anchor name in docs index SC#306

---
 doc/index.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/index.php b/doc/index.php
index face5c80de0..b4cb0f0836c 100644
--- a/doc/index.php
+++ b/doc/index.php
@@ -11,7 +11,7 @@
     }
 
     if (!empty($sub)) {
-        $sub = "#$sub";
+        $sub = '#'.s($sub);
     } else {
         $sub = "";
     }