summaryrefslogtreecommitdiff
path: root/buildscripts
diff options
context:
space:
mode:
authorwei <>2007-01-25 05:49:22 +0000
committerwei <>2007-01-25 05:49:22 +0000
commit682f7ef6933f4ad485baedddf7a30367d003d7bf (patch)
treef0eb02ab8373f481b212b5406bfdb95e48b03b10 /buildscripts
parent9b4174135679398eaed518db99f3c72545aa3876 (diff)
Fixed #502
Diffstat (limited to 'buildscripts')
-rw-r--r--buildscripts/texbuilder/Page2Tex.php5
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;
}