summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile5
-rw-r--r--spec2md.pl2
2 files changed, 4 insertions, 3 deletions
diff --git a/Makefile b/Makefile
index 5f9cb34..1b2d510 100644
--- a/Makefile
+++ b/Makefile
@@ -37,9 +37,10 @@ spec.md: $(SPEC)
spec.html: spec.md template.html
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/a href="@([^"]*)"/a id="\1" href="#\1" class="definition"/g' | \
+ perl -pe 's/␣/<span class="space"> <\/span>/g' \
+ > $@
- # | perl -pe 's/␣/<span class="space"> <\/span>/g' > $@
spec.pdf: spec.md template.tex specfilter.hs
pandoc -s $< --template template.tex \
diff --git a/spec2md.pl b/spec2md.pl
index f93aad8..313f86f 100644
--- a/spec2md.pl
+++ b/spec2md.pl
@@ -29,7 +29,7 @@ while (<STDIN>) {
$section = $match[0];
}
if ($stage != 0) {
- # $_ =~ s/ /␣/g;
+ $_ =~ s/ /␣/g;
}
print $_;
}