jimw Sun Jan 21 15:51:30 2001 EDT
Modified files:
/phpdoc phpweb.dsl.in
Log:
whoops, too many @ signs
Index: phpdoc/phpweb.dsl.in
diff -u phpdoc/phpweb.dsl.in:1.10 phpdoc/phpweb.dsl.in:1.11
--- phpdoc/phpweb.dsl.in:1.10 Sun Jan 21 15:47:25 2001
+++ phpdoc/phpweb.dsl.in Sun Jan 21 15:51:29 2001
@@ -7,7 +7,7 @@
<!--
- $Id: phpweb.dsl.in,v 1.10 2001/01/21 23:47:25 jimw Exp $
+ $Id: phpweb.dsl.in,v 1.11 2001/01/21 23:51:29 jimw Exp $
HTML-specific stylesheet customization for use by the online manual.
@@ -37,7 +37,7 @@
(string-append
newline
"require('shared-manual.inc');" newline
- "sendManualHeaders('@@ENCODING@@','@@LANG@@');" newline
+ "sendManualHeaders('@ENCODING@','@LANG@');" newline
(phpweb-header-navigation nd) newline
"manualHeader('" (phpweb-quote (phpweb-node-title nd)) "','" (phpweb-quote
(html-base-filename nd)) "');" newline)))
