From e8e20e87941ae992afd49f2d70198b0e7437d58e Mon Sep 17 00:00:00 2001 From: wei <> Date: Sat, 21 Jan 2006 23:16:33 +0000 Subject: Add quickstart PDF format. --- tools/texbuilder/build.php | 218 ++++++++++++++++++++++++++++++++ tools/texbuilder/prado3_quick_start.pdf | Bin 0 -> 335038 bytes tools/texbuilder/prado3_quick_start.tex | 83 ++++++++++++ 3 files changed, 301 insertions(+) create mode 100644 tools/texbuilder/build.php create mode 100644 tools/texbuilder/prado3_quick_start.pdf create mode 100644 tools/texbuilder/prado3_quick_start.tex (limited to 'tools/texbuilder') diff --git a/tools/texbuilder/build.php b/tools/texbuilder/build.php new file mode 100644 index 00000000..0cea6aee --- /dev/null +++ b/tools/texbuilder/build.php @@ -0,0 +1,218 @@ +]*>/', '', $html); + $html = preg_replace('/<\/?p>/m', '', $html); + + //headings + $html = preg_replace('/