diff options
Diffstat (limited to 'config')
| -rw-r--r-- | config/nimdoc.cfg | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/config/nimdoc.cfg b/config/nimdoc.cfg index 4faebdf72..836b19ab6 100644 --- a/config/nimdoc.cfg +++ b/config/nimdoc.cfg @@ -100,7 +100,7 @@ doc.body_toc = """ <a href="lib.html">Standard library</a> </li> <li> - <a href="theindex.html">Index</a> + <a href="$theindexhref">Index</a> </li> </ul> </div> @@ -143,7 +143,7 @@ doc.body_toc_group = """ <a href="lib.html">Standard library</a> </li> <li> - <a href="theindex.html">Index</a> + <a href="$theindexhref">Index</a> </li> </ul> </div> @@ -183,6 +183,9 @@ doc.body_toc_group = """ </div> <div id="global-links"> <ul class="simple"> + <li> + <a href="$theindexhref">Index</a> + </li> </ul> </div> <div id="searchInputDiv"> @@ -239,7 +242,7 @@ doc.file = """<?xml version="1.0" encoding="utf-8" ?> <title>$title</title> <link rel="stylesheet" type="text/css" href="$nimdoccss"> -<script type="text/javascript" src="dochack.js"></script> +<script type="text/javascript" src="$dochackjs"></script> <script type="text/javascript"> function main() { |