diff options
author | Timothee Cour <timothee.cour2@gmail.com> | 2020-10-22 12:02:18 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-10-22 12:02:18 -0700 |
commit | 2cb484cefb13e4663afd8e0eb2ad81d43f097803 (patch) | |
tree | 0b526538eef1fe1d7f51b6b6b16e3da8b0f8dafc | |
parent | 64016ddedcfc266c87d8fe7eece8b9476aa6db30 (diff) | |
download | Nim-2cb484cefb13e4663afd8e0eb2ad81d43f097803.tar.gz |
followup #15642: make source + edit also work with stdlib (which uses -d:boot) (#15684)
-rw-r--r-- | config/nimdoc.cfg | 3 |
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"> |