summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorTimothee Cour <timothee.cour2@gmail.com>2020-10-22 12:02:18 -0700
committerGitHub <noreply@github.com>2020-10-22 12:02:18 -0700
commit2cb484cefb13e4663afd8e0eb2ad81d43f097803 (patch)
tree0b526538eef1fe1d7f51b6b6b16e3da8b0f8dafc
parent64016ddedcfc266c87d8fe7eece8b9476aa6db30 (diff)
downloadNim-2cb484cefb13e4663afd8e0eb2ad81d43f097803.tar.gz
followup #15642: make source + edit also work with stdlib (which uses -d:boot) (#15684)
-rw-r--r--config/nimdoc.cfg3
1 files changed, 2 insertions, 1 deletions
diff --git a/config/nimdoc.cfg b/config/nimdoc.cfg
index a99af70ed..e4b485ca0 100644
--- a/config/nimdoc.cfg
+++ b/config/nimdoc.cfg
@@ -146,6 +146,7 @@ doc.body_toc_group = """
   $body_toc_groupsection
   $tableofcontents
   </div>
+  $seeSrc
   <div class="nine columns" id="content">
   <div id="tocRoot"></div>
   $deprecationMsg
@@ -156,7 +157,7 @@ doc.body_toc_group = """
 """
 
 @else
-
+# keep in sink with other `doc.body_toc_group` or better, refactor
 doc.body_toc_group = """
 <div class="row">
   <div class="three columns">