diff options
Diffstat (limited to 'buildscripts/texbuilder/quickstart/build.php')
| -rw-r--r-- | buildscripts/texbuilder/quickstart/build.php | 229 | 
1 files changed, 10 insertions, 219 deletions
| diff --git a/buildscripts/texbuilder/quickstart/build.php b/buildscripts/texbuilder/quickstart/build.php index 79d6d7ec..b5ee7841 100644 --- a/buildscripts/texbuilder/quickstart/build.php +++ b/buildscripts/texbuilder/quickstart/build.php @@ -10,223 +10,11 @@ $mainTexFile = dirname(__FILE__).'/quickstart.tex';  //page root location
  $base = realpath(dirname(__FILE__).'/../../../demos/quickstart/protected/pages/');
 -//-------------- END CONFIG ------------------
 -
  $pages = include('pages.php');
 -function escape_verbatim($matches)
 -{
 -	return "\begin{verbatim}".str_replace('\$', '$', $matches[2])."\end{verbatim}\n";
 -}
 -
 -function escape_verb($matches)
 -{
 -	$text = str_replace(array('\{', '\}'), array('{','}'), $matches[1]);
 -	return '\verb<'.$text.'<';
 -}
 -
 -function include_image($matches)
 -{
 -	global $current_path;
 -
 -	$image = dirname($current_path).'/'.trim($matches[1]);
 -
 -	$file = realpath($image);
 -	$info = getimagesize($file);
 -	switch($info[2])
 -	{
 -		case 1:
 -			$im = imagecreatefromgif($file);
 -			break;
 -		case 2: $im = imagecreatefromjpeg($file); break;
 -		case 3: $im = imagecreatefrompng($file); break;
 -	}
 -	global $base;
 -
 -	if(isset($im))
 -	{
 -		$prefix = strtolower(str_replace(realpath($base), '', $file));
 -		$filename = preg_replace('/\\\|\//', '_', substr($prefix,1));
 -		$filename = substr($filename, 0, strrpos($filename,'.')).'.png';
 -		$newfile = dirname(__FILE__).'/'.$filename;
 -		imagepng($im,$newfile);
 -		imagedestroy($im);
 -
 -		return include_figure($info, $filename);
 -	}
 -}
 -
 -function include_figure($info, $filename)
 -{
 -	$width = sprintf('%0.2f', $info[0]/(135/2.54));
 -	return '
 -\begin{figure}[ht]
 -	\centering
 -		\includegraphics[width='.$width.'cm]{'.$filename.'}
 -	\label{fig:'.$filename.'}
 -\end{figure}
 -';
 -}
 -
 -function anchor($matches)
 -{
 -	$page = get_current_path();
 -	return '\hypertarget{'.$page.'/'.strtolower($matches[1]).'}{}';
 -}
 -
 -function texttt($matches)
 -{
 -	return '\texttt{'.str_replace(array('#','_'),array('\#','\_'), $matches[1]).'}';
 -}
 -
 -function get_current_path()
 -{
 -	global $current_path, $base;
 -	$page = strtolower(substr(str_replace($base, '', $current_path),1));
 -	return $page;
 -}
 -
 -function make_link($matches)
 -{
 -	if(is_int(strpos($matches[1], '#')))
 -	{
 -		if(strpos($matches[1],'?') ===false)
 -		{
 -			$target = get_current_path().'/'.substr($matches[1],1);
 -			return '\hyperlink{'.$target.'}{'.$matches[2].'}';
 -		}
 -		else
 -		{
 -			$page = strtolower(str_replace('?page=', '', $matches[1]));
 -			$page = str_replace('.','/',$page);
 -			$page = str_replace('#','.page/',$page);
 -			return '\hyperlink{'.$page.'}{'.$matches[2].'}';
 -		}
 -	}
 -	else if(is_int(strpos($matches[1],'?')))
 -	{
 -		$page = str_replace('?page=','',$matches[1]);
 -		return '\hyperlink{'.$page.'}{'.$matches[2].'}';
 -	}
 -	return '\href{'.$matches[1].'}{'.$matches[2].'}';
 -}
 -
 -function parse_html($page,$html)
 -{
 -	$html = preg_replace('/<\/?com:TContent[^>]*>/', '', $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('/<com:TTextHighlighter[^>]*>/', '`1`', $html);
 -	$html = preg_replace('/<\/com:TTextHighlighter>/', '`2`', $html);
 -	$html = preg_replace_callback('/(`1`)([^`]*)(`2`)/m', 'escape_verbatim', $html);
 -	$html = preg_replace_callback('/(<div class="source">)([^<]*)(<\/div>)/', 'escape_verbatim', $html);
 -	$html = preg_replace_callback('/(<pre>)([^<]*)(<\/pre>)/', 'escape_verbatim', $html);
 -
 -	//<code>
 -	$html = preg_replace_callback('/<code>([^<]*)<\/code>/', 'escape_verb', $html);
 -
 -	$html = preg_replace_callback('/<img\s+src="?<%~([^"]*)%>"?[^\\/]*\/>/', 'include_image', $html);
 -
 -	//runbar
 -	$html = preg_replace('/<com:RunBar\s+PagePath="([^"]*)"\s+\/>/',
 -			'\href{http://www.pradosoft.com/demos/quickstart/index.php?page=$1}{$1 Demo}', $html);
 -
 -	//DocLink
 -	$html = preg_replace('/<com:DocLink\s+ClassPath="([^"]*)[.]([^.]*)"\s+\/>/',
 -                        '\href{http://www.pradosoft.com/docs/manual/$1/$2.html}{$1.$2 API Reference}', $html);
 -
 -	//text modifiers
 -	$html = preg_replace('/<b>([^<]*)<\/b>/', '\textbf{$1}', $html);
 -	$html = preg_replace('/<i>([^<]*)<\/i>/', '\emph{$1}', $html);
 -	$html = preg_replace_callback('/<tt>([^<]*)<\/tt>/', 'texttt', $html);
 -
 -	//links
 -	$html = preg_replace_callback('/<a[^>]+href="([^"]*)"[^>]*>([^<]*)<\/a>/',
 -							'make_link', $html);
 -	//anchor
 -	$html = preg_replace_callback('/<a[^>]+name="([^"]*)"[^>]*><\/a>/', 'anchor', $html);
 -
 -	//description <dl>
 -	$html = preg_replace('/<dt>([^<]*)<\/dt>/', '\item[$1]', $html);
 -	$html = preg_replace('/<\/?dd>/', '', $html);
 -	$html = preg_replace('/<dl>/', '\begin{description}', $html);
 -	$html = preg_replace('/<\/dl>/', '\end{description}', $html);
 -
 -	//item lists
 -	$html = preg_replace('/<ul>/', '\begin{itemize}', $html);
 -	$html = preg_replace('/<\/ul>/', '\end{itemize}', $html);
 -	$html = preg_replace('/<ol>/', '\begin{enumerate}', $html);
 -	$html = preg_replace('/<\/ol>/', '\end{enumerate}', $html);
 -	$html = preg_replace('/<li>/', '\item ', $html);
 -	$html = preg_replace('/<\/li>/', '', $html);
 -
 -	//headings
 -	$html = preg_replace('/<h1\s+id="[^"]+">([^<]+)<\/h1>/', '\section{$1}', $html);
 -	$html = preg_replace('/<h2\s+id="[^"]+">([^<]+)<\/h2>/', '\subsection{$1}', $html);
 -	$html = preg_replace('/<h3\s+id="[^"]+">([^<]+)<\/h3>/', '\subsubsection{$1}', $html);
 -
 -
 -
 -	$html = html_entity_decode($html);
 -
 -
 -	return $html;
 -}
 -
 -function get_chapter_label($chapter)
 -{
 -	return '\hypertarget{'.str_replace(' ', '', $chapter).'}{}';
 -}
 -
 -function get_section_label($section)
 -{
 -	$section = str_replace('.page', '', $section);
 -	return '\hypertarget{'.str_replace('/', '.', $section).'}{}';
 -}
 -
 -
 -function set_header_id($content, $count)
 -{
 -	global $header_count;
 -	$header_count = $count*100;
 -	$content = preg_replace_callback('/<h1>/', "h1", $content);
 -	$content = preg_replace_callback('/<h2>/', "h2", $content);
 -	$content = preg_replace_callback('/<h3>/', "h3", $content);
 -	return $content;
 -}
 -
 -function h1($matches)
 -{
 -	global $header_count;
 -	return "<h1 id=\"".(++$header_count)."\">";
 -}
 -
 -function h2($matches)
 -{
 -	global $header_count;
 -	return "<h2 id=\"".(++$header_count)."\">";
 -}
 -
 -function h3($matches)
 -{
 -	global $header_count;
 -	return "<h3 id=\"".(++$header_count)."\">";
 -}
 -
 -$header_count = 0;
 -
 -//--------------- BEGIN PROCESSING -------------------
 -
 -
 -//--------------- Indexer -------------------
 +//-------------- END CONFIG ------------------
 -//require_once('create_index.php');
 -//$indexer = new quickstart_index($index_dir);
 +include(dirname(__FILE__).'.../../../texbuilder/Page2Tex.php');
  // ---------------- Create the Tex files ---------
  $count = 1;
 @@ -234,9 +22,11 @@ $j = 1;  $current_path = '';
  echo "Compiling .page files to Latex files\n\n";
 +$parser = new Page2Tex($base, dirname(__FILE__));
 +
  foreach($pages as $chapter => $sections)
  {
 -	$content = '\chapter{'.$chapter.'}'.get_chapter_label($chapter);
 +	$content = '\chapter{'.$chapter.'}'.$parser->get_chapter_label($chapter);
  	echo "Creating ch{$count}.txt => Chapter {$count}: {$chapter}\n";
  	echo str_repeat('-',60)."\n";
  	foreach($sections as $section)
 @@ -244,15 +34,16 @@ foreach($pages as $chapter => $sections)  		echo "    Adding $section\n";
  		$page = $base.'/'.$section;
  		$current_path = $page;
 +		$parser->setCurrentPage($current_path);
  		//add id to <h1>, <h2>, <3>
 -		$tmp_content = set_header_id(file_get_contents($page),$j++);
 -		file_put_contents($page, $tmp_content);
 +		$tmp_content = $parser->set_header_id(file_get_contents($page),$j++);
 +//		file_put_contents($page, $tmp_content);
 -		$content .= get_section_label($section);
 +		$content .= $parser->get_section_label($section);
  		$file_content = file_get_contents($page);
  		$tex =
 -		$content .= parse_html($page,$file_content);
 +		$content .= $parser->parse_html($page,$file_content);
  	}
  	//var_dump($content);
 | 
