summaryrefslogtreecommitdiff
path: root/buildscripts/texbuilder/build.php
diff options
context:
space:
mode:
authorxue <>2006-06-14 19:12:00 +0000
committerxue <>2006-06-14 19:12:00 +0000
commit377590870fabe2d2a9980e629c67b1aa7065fa92 (patch)
tree50346bd333d6ea5bc52cc2c92e952ab89cf2a498 /buildscripts/texbuilder/build.php
parent0ebf1c0fcc8f4396c4637a8afb42bbdaa6721cfe (diff)
Changed prado3_quick_start.pdf to quickstart.pdf
Diffstat (limited to 'buildscripts/texbuilder/build.php')
-rw-r--r--buildscripts/texbuilder/build.php12
1 files changed, 6 insertions, 6 deletions
diff --git a/buildscripts/texbuilder/build.php b/buildscripts/texbuilder/build.php
index cbea9859..c0577c8f 100644
--- a/buildscripts/texbuilder/build.php
+++ b/buildscripts/texbuilder/build.php
@@ -5,7 +5,7 @@
$pdflatexExec = "C:/Wei/miktex/texmf/MiKTeX/bin/pdflatex.exe";
$pdfTex = "$pdflatexExec -interaction=nonstopmode -max-print-line=120 %s";
-$mainTexFile = dirname(__FILE__).'/prado3_quick_start.tex';
+$mainTexFile = dirname(__FILE__).'/quickstart.tex';
//page root location
$base = realpath(dirname(__FILE__).'/../../demos/quickstart/protected/pages/');
@@ -244,14 +244,14 @@ foreach($pages as $chapter => $sections)
echo " Adding $section\n";
$page = $base.'/'.$section;
$current_path = $page;
-
+
//add id to <h1>, <h2>, <3>
$tmp_content = set_header_id(file_get_contents($page),$j++);
file_put_contents($page, $tmp_content);
-
+
$content .= get_section_label($section);
$file_content = file_get_contents($page);
- $tex =
+ $tex =
$content .= parse_html($page,$file_content);
}
@@ -265,7 +265,7 @@ foreach($pages as $chapter => $sections)
if($argc <= 1 && $count > 1)
{
- echo "** Use pdflatex to compile prado3_quick_start.tex to obtain PDF version of quickstart tutorial. **\n";
+ echo "** Use pdflatex to compile quickstart.tex to obtain PDF version of quickstart tutorial. **\n";
exit;
}
if($argv[1] == 'pdf')
@@ -277,7 +277,7 @@ if($argv[1] == 'pdf')
system($command);
system($command); //run it twice
- echo "\n\n** PDF file prado3_quick_start.pdf created **\n\n";
+ echo "\n\n** PDF file quickstart.pdf created **\n\n";
}
else