From 029f80937c11ada16ae3164a4460b43d0c16a860 Mon Sep 17 00:00:00 2001
From: messju <messju@localhost>
Date: Mon, 24 May 2004 11:04:39 +0000
Subject: [PATCH] fixed syntax of php-code for the website's manual

---
 docs/scripts/generate_web.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/scripts/generate_web.php b/docs/scripts/generate_web.php
index 48bcc834..68f11158 100755
--- a/docs/scripts/generate_web.php
+++ b/docs/scripts/generate_web.php
@@ -29,7 +29,7 @@ $search = array(
 );
 
 $replace = array(
-    '<?php if(!isset($_GET["print"])&&!strstr($_SERVER["REQUEST_URI"],"/print/")){ini_set("default_charset","\2");commonHeader();}else{ ?> \1 } ?>',
+    '<?php if(!isset($_GET["print"])&&!strstr($_SERVER["REQUEST_URI"],"/print/")){ini_set("default_charset","\2");commonHeader();}else{ ?>\1<?php } ?>',
     '<?php if(!isset($_GET["print"])&&!strstr($_SERVER["REQUEST_URI"],"/print/")){commonFooter();}else{ echo "</body></html>";} ?>'
 );