summaryrefslogtreecommitdiff
path: root/buildscripts/texbuilder/build.php
diff options
context:
space:
mode:
authorwei <>2006-01-29 04:55:05 +0000
committerwei <>2006-01-29 04:55:05 +0000
commitf80fa8b7e0bff7126a13b767079d2c500b92b3f7 (patch)
treef42e566c5e6c12322b54e91c683a8f488e57e008 /buildscripts/texbuilder/build.php
parent92a33ef250a55ec54b6c26c5611af77d999fb337 (diff)
Update quickstart style.css
Diffstat (limited to 'buildscripts/texbuilder/build.php')
-rw-r--r--buildscripts/texbuilder/build.php23
1 files changed, 19 insertions, 4 deletions
diff --git a/buildscripts/texbuilder/build.php b/buildscripts/texbuilder/build.php
index b5f545e4..25ea97c3 100644
--- a/buildscripts/texbuilder/build.php
+++ b/buildscripts/texbuilder/build.php
@@ -59,6 +59,12 @@ function escape_verbatim($matches)
return "\begin{verbatim}".str_replace('\$', '$', $matches[2])."\end{verbatim}\n";
}
+function escape_verb($matches)
+{
+ $text = str_replace(array('\{', '\}'), array('{','}'), $matches[1]);
+ return '\verb<'.$text.'<';
+}
+
function include_image($matches)
{
global $current_path;
@@ -155,6 +161,9 @@ function parse_html($page,$html)
$html = preg_replace_callback('/(`1`)([^`]*)(`2`)/m', 'escape_verbatim', $html);
$html = preg_replace_callback('/(<div class="source">)([^<]*)(<\/div>)/', 'escape_verbatim', $html);
+ //<code>
+ $html = preg_replace_callback('/<code>([^<]*)<\/code>/', 'escape_verb', $html);
+
$html = preg_replace_callback('/<img\s+src="?<%~([^"]*)%>"?[^\\/]*\/>/', 'include_image', $html);
//runbar
@@ -172,11 +181,17 @@ function parse_html($page,$html)
//anchor
$html = preg_replace_callback('/<a[^>]+name="([^"]*)"[^>]*><\/a>/', 'anchor', $html);
+ //description <dl>
+ $html = preg_replace('/<dt>([^<]*)<\/dt>/', '\item[$1]', $html);
+ $html = preg_replace('/<\/?dd>/', '', $html);
+ $html = preg_replace('/<dl>/', '\begin{description}', $html);
+ $html = preg_replace('/<\/dl>/', '\end{description}', $html);
+
//item lists
- $html = preg_replace('/<ol>/', '\begin{itemize}', $html);
- $html = preg_replace('/<\/ol>/', '\end{itemize}', $html);
- $html = preg_replace('/<ul>/', '\begin{enumerate}', $html);
- $html = preg_replace('/<\/ul>/', '\end{enumerate}', $html);
+ $html = preg_replace('/<ul>/', '\begin{itemize}', $html);
+ $html = preg_replace('/<\/ul>/', '\end{itemize}', $html);
+ $html = preg_replace('/<ol>/', '\begin{enumerate}', $html);
+ $html = preg_replace('/<\/ol>/', '\end{enumerate}', $html);
$html = preg_replace('/<li>/', '\item ', $html);
$html = preg_replace('/<\/li>/', '', $html);