aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2014-10-26 18:02:24 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2014-10-26 18:02:24 -0700
commitee570cab6af160bd50262f81f0e1f17e988b6e45 (patch)
treefe5251d06b7f0d55c479dff104baaab061544efb
parentc5a0fdf28119c60baf755ce9de676c0d7b98740a (diff)
spec2md.pl: Make Example numbers into links.
-rw-r--r--spec2md.pl2
1 files changed, 1 insertions, 1 deletions
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";