From 903ae8a581fac1e6917fc3e31d2ad8fb91df80c3 Mon Sep 17 00:00:00 2001 From: ctrlaltca <> Date: Thu, 12 Jul 2012 11:21:01 +0000 Subject: standardize the use of unix eol; use svn properties to enforce native eol --- buildscripts/texbuilder/Page2Tex.php | 694 ++++++++++++------------- buildscripts/texbuilder/quickstart/build.php | 162 +++--- buildscripts/texbuilder/quickstart/pages.php | 356 ++++++------- buildscripts/texbuilder/sqlmap/build.php | 162 +++--- buildscripts/texbuilder/sqlmap/pages.php | 122 ++--- buildscripts/texbuilder/time-tracker/pages.php | 34 +- 6 files changed, 765 insertions(+), 765 deletions(-) (limited to 'buildscripts/texbuilder') diff --git a/buildscripts/texbuilder/Page2Tex.php b/buildscripts/texbuilder/Page2Tex.php index 008b30fa..eea0ab7e 100644 --- a/buildscripts/texbuilder/Page2Tex.php +++ b/buildscripts/texbuilder/Page2Tex.php @@ -1,347 +1,347 @@ -_base = $base; - $this->_current_page = $current; - $this->_dir = $dir; - } - - function setCurrentPage($current) - { - self::$header_count = self::$header_count+1000; - $this->_current_page = $current; - } - - function escape_verbatim($matches) - { - return "\begin{small}\begin{verbatim}". - str_replace($this->_verb_find, $this->_verb_replace, $matches[1]). - "\end{verbatim}\end{small}\n"; - } - - function escape_verb($matches) - { - $text = str_replace($this->_verb_find, $this->_verb_replace, $matches[1]); - return '\begin{small}\verb<'.$text.'< \end{small}'; - } - - function include_image($matches) - { - - $current_path = $this->_current_page; - - $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; - } - $base = $this->_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 = $this->_dir.'/'.$filename; - imagepng($im,$newfile); - imagedestroy($im); - - return $this->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 = $this->get_current_path(); - return '\hypertarget{'.$page.'/'.strtolower($matches[1]).'}{}'; - } - - function texttt($matches) - { - $text ='\texttt{'.str_replace(array('#','_','&'),array('\#','\_','\&'), $matches[1]).'}'; - //$text = preg_replace('/([^\\\\])&([^;]+)/', '$1\&$2', $text); - return $text; - } - - function get_current_path() - { - $current_path = $this->_current_page; - $base = $this->_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) - { - if(strpos($matches[1],'http://')===false) - { - $target = $this->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{'.str_replace('#','\\#',$matches[1]).'}{'.$matches[2].'}'; - } - - function parse_html($page,$html) - { - $html = preg_replace('/<\/?com:TContent[^>]*>/', '', $html); - $html = preg_replace('/<\/?p [^>]*>/', '', $html); - $html = preg_replace('/<\/?p>/', '', $html); - - $html = preg_replace('/(\s+|\(+|\[+)"/', '$1``', $html); - $html = preg_replace('/(\s+|\(+|\[+)\'/', '$1`', $html); - - //escape { and } - $html = preg_replace('/([^\s]+){([^}]*)}([^\s]+)/', '$1\\\{$2\\\}$3', $html); - - $html = preg_replace_callback('/"?[^>]*\/>/', array($this, 'include_image'), $html); - - //escape % - $html = str_replace('%', '\%', $html); - - //codes - $html = str_replace('$', '\$', $html); - - $html = preg_replace_callback('/]*>((.|\n)*?)<\/com:TTextHighlighter\s*>/', array($this,'escape_verbatim'), $html); -// $html = preg_replace('/<\/com:TTextHighlighter>/', '`2`', $html); -// $html = preg_replace_callback('/(`1`)([^`]*)(`2`)/m', array($this,'escape_verbatim'), $html); - $html = preg_replace_callback('/(
)((.|\n)*?)(<\/div>)/', array($this,'escape_verbatim'), $html); - $html = preg_replace_callback('/(
)([^<]*)(<\/pre>)/', array($this,'escape_verbatim'), $html);
-
-		//
-		$html = preg_replace_callback('/([^<]*)<\/code>/', array($this,'escape_verb'), $html);
-
-		//runbar
-		$html = preg_replace('//',
-				'\href{http://www.pradosoft.com/demos/quickstart/index.php?page=$1}{$1 Demo}', $html);
-
-		//DocLink
-		$html = preg_replace('//',
-	                        '\href{http://www.pradosoft.com/docs/manual/$1/$2.html}{$3}', $html);
-
-		$html = preg_replace('//',
-	                        '\href{http://www.pradosoft.com/docs/manual/$1/$2.html}{$1.$2 API Reference}', $html);
-
-		//text modifiers
-		$html = preg_replace('/<(b|strong)[^>]*>([^<]*)<\/(b|strong)>/', '\textbf{$2}', $html);
-		$html = preg_replace('/]*>([^<]*)+?<\/i>/', '\emph{$1}', $html);
-		$html = preg_replace_callback('/([^<]*)<\/tt>/', array($this,'texttt'), $html);
-
-		//links
-		$html = preg_replace_callback('/]+href="([^"]*)"[^>]*>([^<]*)<\/a>/',
-								array($this,'make_link'), $html);
-		//anchor
-		$html = preg_replace_callback('/]+name="([^"]*)"[^>]*><\/a>/', array($this,'anchor'), $html);
-
-		//description 

-		$html = preg_replace('/
([^<]*)<\/dt>/', '\item[$1]', $html);
-		$html = preg_replace('/<\/?dd>/', '', $html);
-		$html = preg_replace('/
/', '\begin{description}', $html);
-		$html = preg_replace('/<\/dl>/', '\end{description}', $html);
-
-		//item lists
-		$html = preg_replace('/]*>/', '\begin{itemize}', $html);
-		$html = preg_replace('/<\/ul>/', '\end{itemize}', $html);
-		$html = preg_replace('/]*>/', '\begin{enumerate}', $html);
-		$html = preg_replace('/<\/ol>/', '\end{enumerate}', $html);
-		$html = preg_replace('/]*>/', '\item ', $html);
-		$html = preg_replace('/<\/li>/', '', $html);
-
-		//headings
-		$html = preg_replace('/([^<]+)<\/h1>/', '\section{$2}', $html);
-		$html = preg_replace('/([^<]+)<\/h2>/', '\subsection{$2}', $html);
-		$html = preg_replace('/([^<]+)<\/h3>/', '\subsubsection{$2}', $html);
-
-		//div box
-		$html = preg_replace_callback('/
((.|\n)*?)<\/div>/',
-						array($this, 'mbox'), $html);
-
-		//tabular
-		$html = preg_replace_callback('/\s*]*>((.|\n)*?)<\/table>/',
-						array($this, 'tabular'), $html);
-
-		$html = preg_replace('//', '', $html);
-		$html = preg_replace('/
((.|\n)*?)<\/div>/', '', $html);
-
-		//useless divs
-		$html = preg_replace('/
]*">((.|\n)*?)<\/div>/', '$1', $html);
-
-		//since
-		$html = preg_replace('/]+>/', '', $html);
-
-		//requiresversion
-		$html = preg_replace('/]+>/', '', $html);
-
-		$html = html_entity_decode($html);
-
-		return $html;
-	}
-
-	function tabular($matches)
-	{
-		$options = array();
-		foreach(explode(',', $matches[1]) as $string)
-		{
-			$sub = explode('=', trim($string));
-			$options[trim($sub[0])] = trim($sub[1]);
-		}
-
-		$widths = explode(' ',preg_replace('/\(|\)/', '', $options['width']));
-		$this->_tabular_widths = $widths;
-
-		$this->_tabular_total = count($widths);
-		$this->_tabular_col = 0;
-
-		$begin = "\begin{table}[!hpt]\centering \n \begin{tabular}{".$options['align']."}\\hline";
-		$end = "\end{tabular} \n \end{table}\n";
-		$table = preg_replace('/<\/tr>/', '\\\\\\\\ \hline', $matches[2]);
-		$table = preg_replace('//', '', $table);
-		$table = preg_replace('/([^<]+)<\/th>/', '\textbf{$1} &', $table);
-		$table = preg_replace_callback('/((.|\n)*?)<\/td>/', array($this, 'table_column'), $table);
-		$table = preg_replace('/
/', ' \\\\\\\\', $table);
-
-		$table = preg_replace('/&\s*\\\\\\\\/', '\\\\\\\\', $table);
-		return $begin.$table.$end;
-	}
-
-	function table_column($matches)
-	{
-		$width = $this->_tabular_widths[$this->_tabular_col];
-		if($this->_tabular_col >= $this->_tabular_total-1)
-			$this->_tabular_col = 0;
-		else
-			$this->_tabular_col++;
-		return '\begin{minipage}{'.$width.'\textwidth}\vspace{3mm}'.
-			$matches[1].'\vspace{3mm}\end{minipage} & ';
-	}
-
-	function mbox($matches)
-	{
-		return "\n\begin{mybox}\n".$matches[1]."\n\end{mybox}\n";
-	}
-
-	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, $j)
-	{
-		$this->page_count=$j;
-		$content = preg_replace_callback('/
/', array($this,"h1"), $content);
-		$content = preg_replace_callback('/
/', array($this,"h2"), $content);
-		$content = preg_replace_callback('/
/', array($this,"h3"), $content);
-		$content = $this->set_block_content_id($content);
-		return $content;
-	}
-
-	function h1($matches)
-	{
-		$page = $this->page_count*1000;
-		return "
";
-	}
-
-	function h2($matches)
-	{
-		$page = $this->page_count*1000;
-		return "
";
-	}
-
-	function h3($matches)
-	{
-		$page = $this->page_count*1000;
-		return "
";
-	}
-
-	function set_block_content_id($content)
-	{
-		$content = preg_replace_callback('/
/',  array($this, 'add_p'), $content);
-		$content = preg_replace_callback('/]+)>/', array($this, 'hil'), $content);
-		return $content;
-	}
-
-	function hil($matches)
-	{
-		$id = ($this->page_count*10000) + (++self::$hil_count);
-		if(preg_match('/id="code-\d+"/i', $matches[1]))
-		{
-			$code = preg_replace('/id="code-(\d+)"/', 'id="code_$1"', $matches[0]);
-			//var_dump($code);
-			return $code;
-		}
-		else if(preg_match('/id="[^"]+"/i', $matches[1]))
-		{
-			return $matches[0];
-		}
-		else
-		{
-			$changes = str_replace('"source"', '"source block-content" id="code-'.$id.'"', $matches[0]);
-			return $changes;
-		}
-	}
-
-	function add_p($matches)
-	{
-		 $page = $this->page_count*10000;
-		 return "
";
-	}
-}
-
-?>
+_base = $base;
+		$this->_current_page = $current;
+		$this->_dir = $dir;
+	}
+
+	function setCurrentPage($current)
+	{
+		self::$header_count = self::$header_count+1000;
+		$this->_current_page = $current;
+	}
+
+	function escape_verbatim($matches)
+	{
+		return "\begin{small}\begin{verbatim}".
+				str_replace($this->_verb_find, $this->_verb_replace, $matches[1]).
+				"\end{verbatim}\end{small}\n";
+	}
+
+	function escape_verb($matches)
+	{
+		$text = str_replace($this->_verb_find, $this->_verb_replace, $matches[1]);
+		return '\begin{small}\verb<'.$text.'< \end{small}';
+	}
+
+	function include_image($matches)
+	{
+
+		$current_path = $this->_current_page;
+
+		$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;
+		}
+		$base = $this->_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 = $this->_dir.'/'.$filename;
+			imagepng($im,$newfile);
+			imagedestroy($im);
+
+			return $this->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 = $this->get_current_path();
+		return '\hypertarget{'.$page.'/'.strtolower($matches[1]).'}{}';
+	}
+
+	function texttt($matches)
+	{
+		$text ='\texttt{'.str_replace(array('#','_','&'),array('\#','\_','\&'), $matches[1]).'}';
+		//$text = preg_replace('/([^\\\\])&([^;]+)/', '$1\&$2', $text);
+		return $text;
+	}
+
+	function get_current_path()
+	{
+		$current_path = $this->_current_page;
+		$base = $this->_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)
+			{
+				if(strpos($matches[1],'http://')===false)
+				{
+					$target = $this->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{'.str_replace('#','\\#',$matches[1]).'}{'.$matches[2].'}';
+	}
+
+	function parse_html($page,$html)
+	{
+		$html = preg_replace('/<\/?com:TContent[^>]*>/', '', $html);
+		$html = preg_replace('/<\/?p [^>]*>/', '', $html);
+		$html = preg_replace('/<\/?p>/', '', $html);
+
+		$html = preg_replace('/(\s+|\(+|\[+)"/', '$1``', $html);
+		$html = preg_replace('/(\s+|\(+|\[+)\'/', '$1`', $html);
+
+		//escape { and }
+		$html = preg_replace('/([^\s]+){([^}]*)}([^\s]+)/', '$1\\\{$2\\\}$3', $html);
+
+		$html = preg_replace_callback('/"?[^>]*\/>/', array($this, 'include_image'), $html);
+
+		//escape %
+		$html = str_replace('%', '\%', $html);
+
+		//codes
+		$html = str_replace('$', '\$', $html);
+
+		$html = preg_replace_callback('/]*>((.|\n)*?)<\/com:TTextHighlighter\s*>/', array($this,'escape_verbatim'), $html);
+//		$html = preg_replace('/<\/com:TTextHighlighter>/', '`2`', $html);
+//		$html = preg_replace_callback('/(`1`)([^`]*)(`2`)/m', array($this,'escape_verbatim'), $html);
+		$html = preg_replace_callback('/(
)((.|\n)*?)(<\/div>)/', array($this,'escape_verbatim'), $html);
+		$html = preg_replace_callback('/(
)([^<]*)(<\/pre>)/', array($this,'escape_verbatim'), $html);
+
+		//
+		$html = preg_replace_callback('/([^<]*)<\/code>/', array($this,'escape_verb'), $html);
+
+		//runbar
+		$html = preg_replace('//',
+				'\href{http://www.pradosoft.com/demos/quickstart/index.php?page=$1}{$1 Demo}', $html);
+
+		//DocLink
+		$html = preg_replace('//',
+	                        '\href{http://www.pradosoft.com/docs/manual/$1/$2.html}{$3}', $html);
+
+		$html = preg_replace('//',
+	                        '\href{http://www.pradosoft.com/docs/manual/$1/$2.html}{$1.$2 API Reference}', $html);
+
+		//text modifiers
+		$html = preg_replace('/<(b|strong)[^>]*>([^<]*)<\/(b|strong)>/', '\textbf{$2}', $html);
+		$html = preg_replace('/]*>([^<]*)+?<\/i>/', '\emph{$1}', $html);
+		$html = preg_replace_callback('/([^<]*)<\/tt>/', array($this,'texttt'), $html);
+
+		//links
+		$html = preg_replace_callback('/]+href="([^"]*)"[^>]*>([^<]*)<\/a>/',
+								array($this,'make_link'), $html);
+		//anchor
+		$html = preg_replace_callback('/]+name="([^"]*)"[^>]*><\/a>/', array($this,'anchor'), $html);
+
+		//description 

+		$html = preg_replace('/
([^<]*)<\/dt>/', '\item[$1]', $html);
+		$html = preg_replace('/<\/?dd>/', '', $html);
+		$html = preg_replace('/
/', '\begin{description}', $html);
+		$html = preg_replace('/<\/dl>/', '\end{description}', $html);
+
+		//item lists
+		$html = preg_replace('/]*>/', '\begin{itemize}', $html);
+		$html = preg_replace('/<\/ul>/', '\end{itemize}', $html);
+		$html = preg_replace('/]*>/', '\begin{enumerate}', $html);
+		$html = preg_replace('/<\/ol>/', '\end{enumerate}', $html);
+		$html = preg_replace('/]*>/', '\item ', $html);
+		$html = preg_replace('/<\/li>/', '', $html);
+
+		//headings
+		$html = preg_replace('/([^<]+)<\/h1>/', '\section{$2}', $html);
+		$html = preg_replace('/([^<]+)<\/h2>/', '\subsection{$2}', $html);
+		$html = preg_replace('/([^<]+)<\/h3>/', '\subsubsection{$2}', $html);
+
+		//div box
+		$html = preg_replace_callback('/
((.|\n)*?)<\/div>/',
+						array($this, 'mbox'), $html);
+
+		//tabular
+		$html = preg_replace_callback('/\s*]*>((.|\n)*?)<\/table>/',
+						array($this, 'tabular'), $html);
+
+		$html = preg_replace('//', '', $html);
+		$html = preg_replace('/
((.|\n)*?)<\/div>/', '', $html);
+
+		//useless divs
+		$html = preg_replace('/
]*">((.|\n)*?)<\/div>/', '$1', $html);
+
+		//since
+		$html = preg_replace('/]+>/', '', $html);
+
+		//requiresversion
+		$html = preg_replace('/]+>/', '', $html);
+
+		$html = html_entity_decode($html);
+
+		return $html;
+	}
+
+	function tabular($matches)
+	{
+		$options = array();
+		foreach(explode(',', $matches[1]) as $string)
+		{
+			$sub = explode('=', trim($string));
+			$options[trim($sub[0])] = trim($sub[1]);
+		}
+
+		$widths = explode(' ',preg_replace('/\(|\)/', '', $options['width']));
+		$this->_tabular_widths = $widths;
+
+		$this->_tabular_total = count($widths);
+		$this->_tabular_col = 0;
+
+		$begin = "\begin{table}[!hpt]\centering \n \begin{tabular}{".$options['align']."}\\hline";
+		$end = "\end{tabular} \n \end{table}\n";
+		$table = preg_replace('/<\/tr>/', '\\\\\\\\ \hline', $matches[2]);
+		$table = preg_replace('//', '', $table);
+		$table = preg_replace('/([^<]+)<\/th>/', '\textbf{$1} &', $table);
+		$table = preg_replace_callback('/((.|\n)*?)<\/td>/', array($this, 'table_column'), $table);
+		$table = preg_replace('/
/', ' \\\\\\\\', $table);
+
+		$table = preg_replace('/&\s*\\\\\\\\/', '\\\\\\\\', $table);
+		return $begin.$table.$end;
+	}
+
+	function table_column($matches)
+	{
+		$width = $this->_tabular_widths[$this->_tabular_col];
+		if($this->_tabular_col >= $this->_tabular_total-1)
+			$this->_tabular_col = 0;
+		else
+			$this->_tabular_col++;
+		return '\begin{minipage}{'.$width.'\textwidth}\vspace{3mm}'.
+			$matches[1].'\vspace{3mm}\end{minipage} & ';
+	}
+
+	function mbox($matches)
+	{
+		return "\n\begin{mybox}\n".$matches[1]."\n\end{mybox}\n";
+	}
+
+	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, $j)
+	{
+		$this->page_count=$j;
+		$content = preg_replace_callback('/
/', array($this,"h1"), $content);
+		$content = preg_replace_callback('/
/', array($this,"h2"), $content);
+		$content = preg_replace_callback('/
/', array($this,"h3"), $content);
+		$content = $this->set_block_content_id($content);
+		return $content;
+	}
+
+	function h1($matches)
+	{
+		$page = $this->page_count*1000;
+		return "
";
+	}
+
+	function h2($matches)
+	{
+		$page = $this->page_count*1000;
+		return "
";
+	}
+
+	function h3($matches)
+	{
+		$page = $this->page_count*1000;
+		return "
";
+	}
+
+	function set_block_content_id($content)
+	{
+		$content = preg_replace_callback('/
/',  array($this, 'add_p'), $content);
+		$content = preg_replace_callback('/]+)>/', array($this, 'hil'), $content);
+		return $content;
+	}
+
+	function hil($matches)
+	{
+		$id = ($this->page_count*10000) + (++self::$hil_count);
+		if(preg_match('/id="code-\d+"/i', $matches[1]))
+		{
+			$code = preg_replace('/id="code-(\d+)"/', 'id="code_$1"', $matches[0]);
+			//var_dump($code);
+			return $code;
+		}
+		else if(preg_match('/id="[^"]+"/i', $matches[1]))
+		{
+			return $matches[0];
+		}
+		else
+		{
+			$changes = str_replace('"source"', '"source block-content" id="code-'.$id.'"', $matches[0]);
+			return $changes;
+		}
+	}
+
+	function add_p($matches)
+	{
+		 $page = $this->page_count*10000;
+		 return "
";
+	}
+}
+
+?>
diff --git a/buildscripts/texbuilder/quickstart/build.php b/buildscripts/texbuilder/quickstart/build.php
index 81a12d4c..a42d6be3 100644
--- a/buildscripts/texbuilder/quickstart/build.php
+++ b/buildscripts/texbuilder/quickstart/build.php
@@ -1,81 +1,81 @@
- $sections)
-{
-	$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)
-	{
-		echo "    Adding $section\n";
-		$page = $base.'/'.$section;
-		$current_path = $page;
-		$parser->setCurrentPage($current_path);
-
-		//add id to 
, 
, 
 and 

-		$tmp_content = $parser->set_header_id(file_get_contents($page),$j++);
-		file_put_contents($page, $tmp_content);
-
-		$content .= $parser->get_section_label($section);
-		$file_content = file_get_contents($page);
-		//$tex =
-		$content .= $parser->parse_html($page,$file_content);
-	}
-
-	//var_dump($content);
-	file_put_contents("ch{$count}.tex", $content);
-	$count++;
-	echo "\n";
-}
-
-//$indexer->commit();
-
-if($argc <= 1 && $count > 1)
-{
-	echo "** Use pdflatex to compile quickstart.tex to obtain PDF version of quickstart tutorial. **\n";
-	exit;
-}
-if($argv[1] == 'pdf')
-{
-	if(is_file($pdflatexExec))
-	{
-		//build pdfTex
-		$command=sprintf($pdfTex,$mainTexFile);
-		system($command);
-		system($command); //run it twice
-
-		echo "\n\n** PDF file quickstart.pdf created **\n\n";
-
-	}
-	else
-	{
-		echo " Unable to find pdfLatex executable $pdflatexExec";
-	}
-}
-
-
-?>
+ $sections)
+{
+	$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)
+	{
+		echo "    Adding $section\n";
+		$page = $base.'/'.$section;
+		$current_path = $page;
+		$parser->setCurrentPage($current_path);
+
+		//add id to 
, 
, 
 and 

+		$tmp_content = $parser->set_header_id(file_get_contents($page),$j++);
+		file_put_contents($page, $tmp_content);
+
+		$content .= $parser->get_section_label($section);
+		$file_content = file_get_contents($page);
+		//$tex =
+		$content .= $parser->parse_html($page,$file_content);
+	}
+
+	//var_dump($content);
+	file_put_contents("ch{$count}.tex", $content);
+	$count++;
+	echo "\n";
+}
+
+//$indexer->commit();
+
+if($argc <= 1 && $count > 1)
+{
+	echo "** Use pdflatex to compile quickstart.tex to obtain PDF version of quickstart tutorial. **\n";
+	exit;
+}
+if($argv[1] == 'pdf')
+{
+	if(is_file($pdflatexExec))
+	{
+		//build pdfTex
+		$command=sprintf($pdfTex,$mainTexFile);
+		system($command);
+		system($command); //run it twice
+
+		echo "\n\n** PDF file quickstart.pdf created **\n\n";
+
+	}
+	else
+	{
+		echo " Unable to find pdfLatex executable $pdflatexExec";
+	}
+}
+
+
+?>
diff --git a/buildscripts/texbuilder/quickstart/pages.php b/buildscripts/texbuilder/quickstart/pages.php
index a99a2a35..8bb34625 100644
--- a/buildscripts/texbuilder/quickstart/pages.php
+++ b/buildscripts/texbuilder/quickstart/pages.php
@@ -1,179 +1,179 @@
-
\ No newline at end of file
diff --git a/buildscripts/texbuilder/sqlmap/build.php b/buildscripts/texbuilder/sqlmap/build.php
index 46773390..4ea4d75e 100644
--- a/buildscripts/texbuilder/sqlmap/build.php
+++ b/buildscripts/texbuilder/sqlmap/build.php
@@ -1,81 +1,81 @@
- $sections)
-{
-	$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)
-	{
-		echo "    Adding $section\n";
-		$page = $base.'/'.$section;
-		$current_path = $page;
-		$parser->setCurrentPage($current_path);
-
-		//add id to 
, 
, <3>
-		$tmp_content = $parser->set_header_id(file_get_contents($page),$j++);
-//		file_put_contents($page, $tmp_content);
-
-		$content .= $parser->get_section_label($section);
-		$file_content = file_get_contents($page);
-		$tex =
-		$content .= $parser->parse_html($page,$file_content);
-	}
-
-	//var_dump($content);
-	file_put_contents("ch{$count}.tex", $content);
-	$count++;
-	echo "\n";
-}
-
-//$indexer->commit();
-
-if($argc <= 1 && $count > 1)
-{
-	echo "** Use pdflatex to compile quickstart.tex to obtain PDF version of quickstart tutorial. **\n";
-	exit;
-}
-if($argv[1] == 'pdf')
-{
-	if(is_file($pdflatexExec))
-	{
-		//build pdfTex
-		$command=sprintf($pdfTex,$mainTexFile);
-		system($command);
-		system($command); //run it twice
-
-		echo "\n\n** PDF file quickstart.pdf created **\n\n";
-
-	}
-	else
-	{
-		echo " Unable to find pdfLatex executable $pdflatexExec";
-	}
-}
-
-
-?>
+ $sections)
+{
+	$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)
+	{
+		echo "    Adding $section\n";
+		$page = $base.'/'.$section;
+		$current_path = $page;
+		$parser->setCurrentPage($current_path);
+
+		//add id to 
, 
, <3>
+		$tmp_content = $parser->set_header_id(file_get_contents($page),$j++);
+//		file_put_contents($page, $tmp_content);
+
+		$content .= $parser->get_section_label($section);
+		$file_content = file_get_contents($page);
+		$tex =
+		$content .= $parser->parse_html($page,$file_content);
+	}
+
+	//var_dump($content);
+	file_put_contents("ch{$count}.tex", $content);
+	$count++;
+	echo "\n";
+}
+
+//$indexer->commit();
+
+if($argc <= 1 && $count > 1)
+{
+	echo "** Use pdflatex to compile quickstart.tex to obtain PDF version of quickstart tutorial. **\n";
+	exit;
+}
+if($argv[1] == 'pdf')
+{
+	if(is_file($pdflatexExec))
+	{
+		//build pdfTex
+		$command=sprintf($pdfTex,$mainTexFile);
+		system($command);
+		system($command); //run it twice
+
+		echo "\n\n** PDF file quickstart.pdf created **\n\n";
+
+	}
+	else
+	{
+		echo " Unable to find pdfLatex executable $pdflatexExec";
+	}
+}
+
+
+?>
diff --git a/buildscripts/texbuilder/sqlmap/pages.php b/buildscripts/texbuilder/sqlmap/pages.php
index adf788ff..57fff767 100644
--- a/buildscripts/texbuilder/sqlmap/pages.php
+++ b/buildscripts/texbuilder/sqlmap/pages.php
@@ -1,62 +1,62 @@
-
\ No newline at end of file
diff --git a/buildscripts/texbuilder/time-tracker/pages.php b/buildscripts/texbuilder/time-tracker/pages.php
index 5ec3335a..732f675d 100644
--- a/buildscripts/texbuilder/time-tracker/pages.php
+++ b/buildscripts/texbuilder/time-tracker/pages.php
@@ -1,18 +1,18 @@
-
\ No newline at end of file
-- 
cgit v1.2.3