diff options
-rwxr-xr-x | web/mkdemos.pl | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/web/mkdemos.pl b/web/mkdemos.pl index 17a965703..e81c9786a 100755 --- a/web/mkdemos.pl +++ b/web/mkdemos.pl @@ -20,7 +20,6 @@ while (<IN>) { print STDERR "$commandExec"; system "$commandExec"; $line = $command; - $line =~ s/-/\-/; $line =~ s/@@([^@]*)@@/<a href="$1">$1<\/a>/g; $line =~ s/-/\\-/g; # to prevent smart dashes! $line =~ s/^(.*)$/ <pre><code>$1<\/code><\/pre>/g; |