From ee570cab6af160bd50262f81f0e1f17e988b6e45 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sun, 26 Oct 2014 18:02:24 -0700
Subject: spec2md.pl:  Make Example numbers into links.

---
 spec2md.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spec2md.pl b/spec2md.pl
index 1b4f26e..1426095 100644
--- a/spec2md.pl
+++ b/spec2md.pl
@@ -12,7 +12,7 @@ while (<STDIN>) {
     if ($stage == 0) {
       $example++;
       print "\n<div class=\"example\" id=\"example-$example\" data-section=\"$section\">\n";
-      print "<div class=\"examplenum\">Example $example</div>\n\n";
+      print "<div class=\"examplenum\"><a href=\"#example-$example\">Example $example</a></div>\n\n";
       print "````````````````````````````````````````````````````````` markdown\n";
     } elsif ($stage == 1) {
       print "`````````````````````````````````````````````````````````\n\n";
-- 
cgit v1.2.3