diff options
Diffstat (limited to 'buildscripts/texbuilder/build.php')
| -rw-r--r-- | buildscripts/texbuilder/build.php | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/buildscripts/texbuilder/build.php b/buildscripts/texbuilder/build.php index 4988bccd..4e2d8be6 100644 --- a/buildscripts/texbuilder/build.php +++ b/buildscripts/texbuilder/build.php @@ -155,7 +155,12 @@ function include_figure($info, $filename) function anchor($matches)
{
$page = get_current_path();
- return '\hypertarget{'.$page.'/'.$matches[1].'}{}';
+ return '\hypertarget{'.$page.'/'.strtolower($matches[1]).'}{}';
+}
+
+function texttt($matches)
+{
+ return '\texttt{'.str_replace(array('#','_'),array('\#','\_'), $matches[1]).'}';
}
function get_current_path()
@@ -222,7 +227,7 @@ function parse_html($page,$html) //text modifiers
$html = preg_replace('/<b>([^<]*)<\/b>/', '\textbf{$1}', $html);
$html = preg_replace('/<i>([^<]*)<\/i>/', '\emph{$1}', $html);
- $html = preg_replace('/<tt>([^<]*)<\/tt>/', '\texttt{$1}', $html);
+ $html = preg_replace_callback('/<tt>([^<]*)<\/tt>/', 'texttt', $html);
//links
$html = preg_replace_callback('/<a[^>]+href="([^"]*)"[^>]*>([^<]*)<\/a>/',
|