terminator/doc/manual/_build/html/_static
Stephen Boddy 1d977cc6aa A manual has been added to Terminator
* 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
2015-08-08 04:11:30 +02:00
..
css A manual has been added to Terminator 2015-08-08 04:11:30 +02:00
fonts A manual has been added to Terminator 2015-08-08 04:11:30 +02:00
js A manual has been added to Terminator 2015-08-08 04:11:30 +02:00
ajax-loader.gif A manual has been added to Terminator 2015-08-08 04:11:30 +02:00
basic.css A manual has been added to Terminator 2015-08-08 04:11:30 +02:00
comment-bright.png A manual has been added to Terminator 2015-08-08 04:11:30 +02:00
comment-close.png A manual has been added to Terminator 2015-08-08 04:11:30 +02:00
comment.png A manual has been added to Terminator 2015-08-08 04:11:30 +02:00
doctools.js A manual has been added to Terminator 2015-08-08 04:11:30 +02:00
down-pressed.png A manual has been added to Terminator 2015-08-08 04:11:30 +02:00
down.png A manual has been added to Terminator 2015-08-08 04:11:30 +02:00
file.png A manual has been added to Terminator 2015-08-08 04:11:30 +02:00
jquery-1.11.1.js A manual has been added to Terminator 2015-08-08 04:11:30 +02:00
jquery.js A manual has been added to Terminator 2015-08-08 04:11:30 +02:00
minus.png A manual has been added to Terminator 2015-08-08 04:11:30 +02:00
plus.png A manual has been added to Terminator 2015-08-08 04:11:30 +02:00
pygments.css A manual has been added to Terminator 2015-08-08 04:11:30 +02:00
searchtools.js A manual has been added to Terminator 2015-08-08 04:11:30 +02:00
underscore-1.3.1.js A manual has been added to Terminator 2015-08-08 04:11:30 +02:00
underscore.js A manual has been added to Terminator 2015-08-08 04:11:30 +02:00
up-pressed.png A manual has been added to Terminator 2015-08-08 04:11:30 +02:00
up.png A manual has been added to Terminator 2015-08-08 04:11:30 +02:00
websupport.js A manual has been added to Terminator 2015-08-08 04:11:30 +02:00