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 () { print STDERR "$commandExec"; system "$commandExec"; $line = $command; - $line =~ s/-/\-/; $line =~ s/@@([^@]*)@@/$1<\/a>/g; $line =~ s/-/\\-/g; # to prevent smart dashes! $line =~ s/^(.*)$/
$1<\/code><\/pre>/g;