diff options
author | wei <> | 2007-01-25 05:49:22 +0000 |
---|---|---|
committer | wei <> | 2007-01-25 05:49:22 +0000 |
commit | 682f7ef6933f4ad485baedddf7a30367d003d7bf (patch) | |
tree | f0eb02ab8373f481b212b5406bfdb95e48b03b10 /buildscripts | |
parent | 9b4174135679398eaed518db99f3c72545aa3876 (diff) |
Fixed #502
Diffstat (limited to 'buildscripts')
-rw-r--r-- | buildscripts/texbuilder/Page2Tex.php | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/buildscripts/texbuilder/Page2Tex.php b/buildscripts/texbuilder/Page2Tex.php index 2374647c..7ee4a171 100644 --- a/buildscripts/texbuilder/Page2Tex.php +++ b/buildscripts/texbuilder/Page2Tex.php @@ -211,6 +211,7 @@ class Page2Tex array($this, 'tabular'), $html);
$html = preg_replace('/<!--(.*)-->/', '', $html);
+ $html = preg_replace('/<div class="last-modified">((.|\n)*?)<\/div>/', '', $html);
$html = html_entity_decode($html);
@@ -300,7 +301,7 @@ class Page2Tex $page = $this->page_count*1000;
return "<h3 id=\"".($page + (++self::$header_count))."\">";
}
-
+
function set_block_content_id($content)
{
$content = preg_replace_callback('/<p>/', array($this, 'add_p'), $content);
@@ -322,7 +323,7 @@ class Page2Tex return $matches[0];
}
else
- {
+ {
$changes = str_replace('"source"', '"source block-content" id="code-'.$id.'"', $matches[0]);
return $changes;
}
|