From faacf7065f0303a5b0d5c241e06bcfd8c827651c Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sat, 8 Nov 2014 20:52:36 -0800
Subject: 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.
---
 Makefile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'Makefile')

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 \
-- 
cgit v1.2.3