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.
---
 spec2md.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'spec2md.pl')

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