| commit | c289312f964b6e8851d0812b65f59c8b0387e78d | [log] [tgz] |
|---|---|---|
| author | Markus Heiser <markus.heiser@darmarit.de> | Wed Oct 26 08:23:14 2016 +0200 |
| committer | Jonathan Corbet <corbet@lwn.net> | Wed Oct 26 17:24:54 2016 -0600 |
| tree | f0e36913788ea4762e93072b803f7b747b4b199f | |
| parent | 9e1f08607f904e89568e197f4e30985484a87fd7 [diff] |
doc-rst: make dev-tools folder buildable stand-alone Add minimal conf.py and moved dev-tools/tools.rst to dev-tools/index.rst makes the dev-tools folder buildable stand-alone. To build only this folder run:: make SPHINXDIRS=dev-tools htmldocs make SPHINXDIRS=dev-tools pdfdocs Signed-off-by: Markus Heiser <markus.heiser@darmarit.de> Signed-off-by: Jonathan Corbet <corbet@lwn.net>