From 2cb484cefb13e4663afd8e0eb2ad81d43f097803 Mon Sep 17 00:00:00 2001
From: Timothee Cour <timothee.cour2@gmail.com>
Date: Thu, 22 Oct 2020 12:02:18 -0700
Subject: [PATCH] followup #15642: make source + edit also work with stdlib
 (which uses -d:boot) (#15684)

---
 config/nimdoc.cfg | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/config/nimdoc.cfg b/config/nimdoc.cfg
index a99af70ed8..e4b485ca0b 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">