summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile6
1 files changed, 5 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index afe939e..1b2d510 100644
--- a/Makefile
+++ b/Makefile
@@ -36,7 +36,11 @@ spec.md: $(SPEC)
perl spec2md.pl < $< > $@
spec.html: spec.md template.html
- pandoc --no-highlight --number-sections --template template.html -s --toc -S $< > $@ # | perl -pe 's/␣/<span class="space"> <\/span>/g' > $@
+ pandoc --no-highlight --number-sections --template template.html -s --toc -S $< | \
+ perl -pe 's/a href="@([^"]*)"/a id="\1" href="#\1" class="definition"/g' | \
+ perl -pe 's/␣/<span class="space"> <\/span>/g' \
+ > $@
+
spec.pdf: spec.md template.tex specfilter.hs
pandoc -s $< --template template.tex \