summaryrefslogtreecommitdiff
path: root/spec2md.pl
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2014-10-26 21:42:22 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2014-10-26 21:42:22 -0700
commit9d8dba5acd00edec29e385ac859bc28c9991dae9 (patch)
treef82d09e965e142a05b5815f795b8fc866d16de3a /spec2md.pl
parent695b5f3705fbdb42dd7422e4dc88f25e895d1406 (diff)
Added (interact) links to spec, to open examples in dingus.
Diffstat (limited to 'spec2md.pl')
-rw-r--r--spec2md.pl2
1 files changed, 1 insertions, 1 deletions
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";