diff options
Diffstat (limited to 'web')
-rw-r--r-- | web/Makefile | 3 | ||||
-rwxr-xr-x | web/mkdemos.pl | 1 |
2 files changed, 3 insertions, 1 deletions
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"; |