Changeset 1167 for trunk/buildscripts

Timestamp:

06/15/2006 01:18:47 PM (2 years ago)

Author:

xue

Message:

Merge from 3.0 branch till 1166.

Location:

trunk/buildscripts

Files:

• classtree/build.php (modified) (2 diffs)
• texbuilder/build.php (modified) (4 diffs)
• texbuilder/prado3_quick_start.tex (deleted)
• texbuilder/quickstart.tex (copied) (copied from branches/3.0/buildscripts/texbuilder/quickstart.tex)

trunk/buildscripts/classtree/build.php

@@ -14 +14 @@
 $a=new ClassTreeBuilder($rootPath,$exclusions);
 $a->buildTree();
-$a->saveToFile('classtree.data');
+$a->saveToFile('classes.data');
 
 class ClassTreeBuilder
@@ -175 +175 @@
                 return $files;
         }
+
+        public function saveAsTagLib($fileName)
+        {
+        }
 }
 

trunk/buildscripts/texbuilder/build.php

@@ -6 +6 @@
 $pdfTex = "$pdflatexExec -interaction=nonstopmode -max-print-line=120 %s";
 
-$mainTexFile = dirname(__FILE__).'/prado3_quick_start.tex';
+$mainTexFile = dirname(__FILE__).'/quickstart.tex';
 
 //page root location
@@ -245 +245 @@
                 $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);
         }
@@ -266 +266 @@
 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;
 }
@@ -278 +278 @@
                 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";
 
         }