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 +++--
 spec2md.pl | 2 +-
 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 $_;
   }
-- 
cgit v1.2.3