diff options
author | xue <> | 2006-06-14 19:12:00 +0000 |
---|---|---|
committer | xue <> | 2006-06-14 19:12:00 +0000 |
commit | 377590870fabe2d2a9980e629c67b1aa7065fa92 (patch) | |
tree | 50346bd333d6ea5bc52cc2c92e952ab89cf2a498 /buildscripts/texbuilder/build.php | |
parent | 0ebf1c0fcc8f4396c4637a8afb42bbdaa6721cfe (diff) |
Changed prado3_quick_start.pdf to quickstart.pdf
Diffstat (limited to 'buildscripts/texbuilder/build.php')
-rw-r--r-- | buildscripts/texbuilder/build.php | 12 |
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
|