better handling of anchor name in docs index SC#306

ds125v · Aug 29, 2006 · 5e0ff18 · 5e0ff18
1 parent c0e3c8d
commit 5e0ff18
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/index.php b/doc/index.php
@@ -11,7 +11,7 @@
     }
 
     if (!empty($sub)) {
-        $sub = "#$sub";
+        $sub = '#'.s($sub);
     } else {
         $sub = "";
     }