diff options
author | wei <> | 2006-10-12 07:30:33 +0000 |
---|---|---|
committer | wei <> | 2006-10-12 07:30:33 +0000 |
commit | 5abdafeb9ded0c1c41992f7b3758f1dc02255683 (patch) | |
tree | c5c344f0285e9b5dcd540eeaa1a701f47e14b4bb /buildscripts/texbuilder | |
parent | de630e4134484cea82fd0a1864a45db3bd9974bc (diff) |
add unified chm build (quickstart + API + classdocs + wiki)
Diffstat (limited to 'buildscripts/texbuilder')
-rw-r--r-- | buildscripts/texbuilder/Page2Tex.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/buildscripts/texbuilder/Page2Tex.php b/buildscripts/texbuilder/Page2Tex.php index f225d973..d8b6107f 100644 --- a/buildscripts/texbuilder/Page2Tex.php +++ b/buildscripts/texbuilder/Page2Tex.php @@ -19,6 +19,7 @@ class Page2Tex function setCurrentPage($current)
{
+ self::$header_count = self::$header_count+1000;
$this->_current_page = $current;
}
@@ -260,9 +261,8 @@ class Page2Tex }
- function set_header_id($content, $count)
+ function set_header_id($content)
{
- self::$header_count = $count*100;
$content = preg_replace_callback('/<h1>/', array($this,"h1"), $content);
$content = preg_replace_callback('/<h2>/', array($this,"h2"), $content);
$content = preg_replace_callback('/<h3>/', array($this,"h3"), $content);
|