| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
|
|
|
|
| |
68a19ca / 0.4.3.dev0. I have been using this one for a while without
issues.
This should fix the search issues.
closes #3880
|
|
|
|
|
|
|
|
|
|
|
|
| |
- Remove all genindex.rst files, these are generated and should not
exist in our source.
- Fix the HTML templates so the local specialisation works.
- Add a index link to the sidebar for HTML.
Note, there is no TOC entry for the index in the PDF output and I
cannot figure out how to add one.
Closes #3503
|
| |
|
|
* This is still broken.
* Rename sphinx_rtd_theme so it doesn't pickup locally installed ones
* Add a hack to theme.css to get around inliner bug.
* Some unrelated fixups in common/waf.py
Unfortunatly several dozen fixes got merged into this.
|