 |
 |
 |
 |
|
|
Date: 06/17/02
- Next message: hholzgra <email protected>: "[PHP-DOC] Bug #15116 Updated: Rendering/naming Problem"
- Previous message: ricky <email protected>: "[PHP-DOC] Bug #17808: _$SERVER['HTTPS'] not documented"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
hholzgra Mon Jun 17 18:48:54 2002 EDT
Modified files:
/phpdoc/dsssl html-common.dsl
Log:
fix for #15116
Index: phpdoc/dsssl/html-common.dsl
diff -u phpdoc/dsssl/html-common.dsl:1.7 phpdoc/dsssl/html-common.dsl:1.8
--- phpdoc/dsssl/html-common.dsl:1.7 Sun Apr 7 04:06:40 2002
+++ phpdoc/dsssl/html-common.dsl Mon Jun 17 18:48:46 2002
@@ -1,6 +1,6 @@
;; -*- Scheme -*-
;;
-;; $Id: html-common.dsl,v 1.7 2002/04/07 08:06:40 hholzgra Exp $
+;; $Id: html-common.dsl,v 1.8 2002/06/17 22:48:46 hholzgra Exp $
;;
;; Returns the depth of the auto-generated TOC (table of
@@ -188,9 +188,9 @@
(linkend
(string-append
"function."
- (string-replace
- (string-replace function-name "_" "-")
- "::" ".")))
+ (case-fold-down (string-replace
+ (string-replace function-name "_" "-")
+ "::" "."))))
(target (element-with-id linkend))
(parent-gi (gi (parent))))
(cond
- Next message: hholzgra <email protected>: "[PHP-DOC] Bug #15116 Updated: Rendering/naming Problem"
- Previous message: ricky <email protected>: "[PHP-DOC] Bug #17808: _$SERVER['HTTPS'] not documented"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]