aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2014-11-08 20:52:36 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2014-11-08 20:58:24 -0800
commitfaacf7065f0303a5b0d5c241e06bcfd8c827651c (patch)
tree5bd7afc98a19783f8c304d1c14c717a52cd9b376
parent535afc08febf42fb984e7115bf7a947985690e41 (diff)
Make spaces visible using CSS.
Closes #49. I didn't want to actually insert the characters, since I want the code samples to be cut/pasteable. But this CSS trick seems to work.
-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 $_;
}