jimw Fri Jan 12 16:54:17 2001 EDT
Modified files:
/phpdoc phpweb.dsl.in
Log:
pass filename to header/footer, so we can move to using that for manual notes so
they'll work cross-language
Index: phpdoc/phpweb.dsl.in
diff -u phpdoc/phpweb.dsl.in:1.8 phpdoc/phpweb.dsl.in:1.9
--- phpdoc/phpweb.dsl.in:1.8 Thu May 25 22:37:39 2000
+++ phpdoc/phpweb.dsl.in Fri Jan 12 16:54:17 2001
@@ -7,7 +7,7 @@
<!--
- $Id: phpweb.dsl.in,v 1.8 2000/05/26 05:37:39 hholzgra Exp $
+ $Id: phpweb.dsl.in,v 1.9 2001/01/13 00:54:17 jimw Exp $
HTML-specific stylesheet customization for use by the online manual.
@@ -38,12 +38,12 @@
newline
"require('shared-manual.inc'); " newline
(phpweb-header-navigation nd) newline
- "manualHeader('" (phpweb-quote (phpweb-node-title nd)) "');" newline)))
+ "manualHeader('" (phpweb-quote (phpweb-node-title nd)) "','" (phpweb-quote
+(html-base-filename nd)) "');" newline)))
(define (phpweb-footer #!optional (nd (current-node)))
(php-code
(string-append
- "manualFooter('" (phpweb-quote (phpweb-node-title nd)) "');")))
+ "manualFooter('" (phpweb-quote (phpweb-node-title nd)) "','" (phpweb-quote
+(html-base-filename nd)) "');" newline)))
(define (phpweb-node-title #!optional (nd (current-node)) (title-elem "title"))
(let* ((preferred-title-node
