doc-rst: make dev-tools folder buildable stand-alone
authorMarkus Heiser <markus.heiser@darmarit.de>
Wed, 26 Oct 2016 06:23:14 +0000 (08:23 +0200)
committerJonathan Corbet <corbet@lwn.net>
Wed, 26 Oct 2016 23:24:54 +0000 (17:24 -0600)
commitc289312f964b6e8851d0812b65f59c8b0387e78d
treef0e36913788ea4762e93072b803f7b747b4b199f
parent9e1f08607f904e89568e197f4e30985484a87fd7
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>
Documentation/dev-tools/conf.py [new file with mode: 0644]
Documentation/dev-tools/index.rst [new file with mode: 0644]
Documentation/dev-tools/tools.rst [deleted file]
Documentation/index.rst