From f80fa8b7e0bff7126a13b767079d2c500b92b3f7 Mon Sep 17 00:00:00 2001 From: wei <> Date: Sun, 29 Jan 2006 04:55:05 +0000 Subject: Update quickstart style.css --- buildscripts/texbuilder/build.php | 23 +- buildscripts/texbuilder/prado3_quick_start.pdf | 8452 ++++++++++++------------ 2 files changed, 4174 insertions(+), 4301 deletions(-) (limited to 'buildscripts/texbuilder') 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>)/', 'escape_verbatim', $html); + // + $html = preg_replace_callback('/([^<]*)<\/code>/', 'escape_verb', $html); + $html = preg_replace_callback('/"?[^\\/]*\/>/', 'include_image', $html); //runbar @@ -172,11 +181,17 @@ function parse_html($page,$html) //anchor $html = preg_replace_callback('/]+name="([^"]*)"[^>]*><\/a>/', 'anchor', $html); + //description
+ $html = preg_replace('/
([^<]*)<\/dt>/', '\item[$1]', $html); + $html = preg_replace('/<\/?dd>/', '', $html); + $html = preg_replace('/
/', '\begin{description}', $html); + $html = preg_replace('/<\/dl>/', '\end{description}', $html); + //item lists - $html = preg_replace('/
    /', '\begin{itemize}', $html); - $html = preg_replace('/<\/ol>/', '\end{itemize}', $html); - $html = preg_replace('/