diff --git a/web/Makefile b/web/Makefile
index e7cd1d3d0..73f489607 100644
--- a/web/Makefile
+++ b/web/Makefile
@@ -15,6 +15,9 @@ examples.txt : mkdemos.pl config.xsl S5DEMO README demos math.text
 		do highlight -k monospace -u utf-8 --style emacs $$file > $$file.html; \
 	done
 
+examples.html : examples.txt
+	$(PANDOC_PATH)/pandoc -s -H css -A footer.html $< > $@
+
 index.html : index.txt css
 	$(MAKEPAGE) --toc $< > $@
 
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";