From 568a5cea4833a3316f3741dcd32699334f770d26 Mon Sep 17 00:00:00 2001 From: xue <> Date: Sat, 28 Jan 2006 17:09:31 +0000 Subject: Rename "tools" to "buildscripts". --- tools/texbuilder/build.php | 233 - tools/texbuilder/prado3_quick_start.pdf | 8508 ------------------------------- tools/texbuilder/prado3_quick_start.tex | 115 - 3 files changed, 8856 deletions(-) delete mode 100644 tools/texbuilder/build.php delete mode 100644 tools/texbuilder/prado3_quick_start.pdf delete mode 100644 tools/texbuilder/prado3_quick_start.tex (limited to 'tools/texbuilder') diff --git a/tools/texbuilder/build.php b/tools/texbuilder/build.php deleted file mode 100644 index 1866f868..00000000 --- a/tools/texbuilder/build.php +++ /dev/null @@ -1,233 +0,0 @@ -]*>/', '', $html); - $html = preg_replace('/<\/?p>/m', '', $html); - - //escape { and } - $html = preg_replace('/([^\s]+){([^}]*)}([^\s]+)/', '$1\\\{$2\\\}$3', $html); - - //codes - $html = str_replace('$', '\$', $html); - $html = preg_replace('/]*>/', '`1`', $html); - $html = preg_replace('/<\/com:TTextHighlighter>/', '`2`', $html); - $html = preg_replace_callback('/(`1`)([^`]*)(`2`)/m', 'escape_verbatim', $html); - $html = preg_replace_callback('/(
)([^<]*)(<\/div>)/', 'escape_verbatim', $html); - - $html = preg_replace_callback('/"?[^\\/]*\/>/', 'include_image', $html); - - //runbar - $html = preg_replace('//', - 'Try, \texttt{http://../quickstart/index.php?page=$1}', $html); - - //text modifiers - $html = preg_replace('/([^<]*)<\/b>/', '\textbf{$1}', $html); - $html = preg_replace('/([^<]*)<\/i>/', '\emph{$1}', $html); - $html = preg_replace('/([^<]*)<\/tt>/', '\texttt{$1}', $html); - - //links - $html = preg_replace_callback('/]+href="([^"]*)"[^>]*>([^<]*)<\/a>/', - 'make_link', $html); - //anchor - $html = preg_replace_callback('/]+name="([^"]*)"[^>]*><\/a>/', 'anchor', $html); - - //item lists - $html = preg_replace('/
    /', '\begin{itemize}', $html); - $html = preg_replace('/<\/ol>/', '\end{itemize}', $html); - $html = preg_replace('/