1d977cc6aa
* Added source and generated html of manual, and API doc * setup.py can install the manual (and by extension do can debuild) * setup.py has (inactive) code for generating the html from the source but this will break if rtd theme is not available * A few changes to doc strings to make the autodoc prettier * Added help shortcut, by default F1 to open the local manual * Added button to About tab to launch manual * A couple of additional string to translate related to manual/help |
||
---|---|---|
.. | ||
css | ||
fonts | ||
js | ||
ajax-loader.gif | ||
basic.css | ||
comment-bright.png | ||
comment-close.png | ||
comment.png | ||
doctools.js | ||
down-pressed.png | ||
down.png | ||
file.png | ||
jquery-1.11.1.js | ||
jquery.js | ||
minus.png | ||
plus.png | ||
pygments.css | ||
searchtools.js | ||
underscore-1.3.1.js | ||
underscore.js | ||
up-pressed.png | ||
up.png | ||
websupport.js |