fix #6583, fix #14376, index+search now generated for all projects, many bug fixes with nim doc (#14324)

* refs #6583 fix nim doc output
* changelog
* change default for outDir when unspecified
* cleanups
* --project implies --index
This commit is contained in:
Timothee Cour 2020-05-25 04:25:40 -07:00 • committed by GitHub
commit 58282547f6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
22 changed files with 294 additions and 161 deletions

View file

@ -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() {