From 9d8dba5acd00edec29e385ac859bc28c9991dae9 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sun, 26 Oct 2014 21:42:22 -0700
Subject: Added (interact) links to spec, to open examples in dingus.

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

(limited to 'spec2md.pl')

diff --git a/spec2md.pl b/spec2md.pl
index 1426095..f93aad8 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\"><a href=\"#example-$example\">Example $example</a></div>\n\n";
+      print "<div class=\"examplenum\"><a href=\"#example-$example\">Example $example</a>&nbsp;&nbsp;<a class=\"dingus\" title=\"open in interactive dingus\">(interact)</a></div>\n\n";
       print "````````````````````````````````````````````````````````` markdown\n";
     } elsif ($stage == 1) {
       print "`````````````````````````````````````````````````````````\n\n";
-- 
cgit v1.2.3