commit 540b94f942de2f448f821e0f6fdcd54cac206d82
parent be07aac161d897b4c7e7449df952bb359087f602
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Sat, 26 Oct 2013 23:21:38 +0200
Merge branch 'master' of gitorious.org:mybin/mybin
Diffstat:
1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/shorthand.pl b/shorthand.pl
@@ -47,7 +47,9 @@ sub reformat()
{
my $ll = $_[0];
$ll =~ s/\*([^*]+)\*/\\textcolor{red}{$1}/g;
+ $ll =~ s/``/UNIQUEBLAH/g;
$ll =~ s/\`([^`]+)\`/\\texttt{$1}/g;
+ $ll =~ s/UNIQUEBLAH/``/g;
$ll;
}