better handling of anchor name in docs index SC#306

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