diff options
Diffstat (limited to 'web/mkdemos.pl')
-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 e81c9786a..5009bd965 100755 --- a/web/mkdemos.pl +++ b/web/mkdemos.pl @@ -21,7 +21,6 @@ while (<IN>) { system "$commandExec"; $line = $command; $line =~ s/@@([^@]*)@@/<a href="$1">$1<\/a>/g; - $line =~ s/-/\\-/g; # to prevent smart dashes! $line =~ s/^(.*)$/ <pre><code>$1<\/code><\/pre>/g; if ( $line =~ /(example\d+\.html)<\/a><\/code>/m ) { $line .= "\n (View [`$1` as a web page]($1).)\n"; |