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
Signed-off-by: Markus Heiser <markus.heiser@xxxxxxxxxxx>
---
Documentation/dev-tools/conf.py | 5 +++++
Documentation/dev-tools/{tools.rst => index.rst} | 0
Documentation/index.rst | 2 +-
3 files changed, 6 insertions(+), 1 deletion(-)
create mode 100644 Documentation/dev-tools/conf.py
rename Documentation/dev-tools/{tools.rst => index.rst} (100%)
diff --git a/Documentation/dev-tools/conf.py b/Documentation/dev-tools/conf.py
new file mode 100644
index 0000000..d22b998
--- /dev/null
+++ b/Documentation/dev-tools/conf.py
@@ -0,0 +1,5 @@
+# -*- coding: utf-8; mode: python -*-
+
+project = "Development tools for the kernel"
+
+tags.add("subproject")
diff --git a/Documentation/dev-tools/tools.rst b/Documentation/dev-tools/index.rst
similarity index 100%
rename from Documentation/dev-tools/tools.rst
rename to Documentation/dev-tools/index.rst
diff --git a/Documentation/index.rst b/Documentation/index.rst
index c53d089..bba70c1 100644
--- a/Documentation/index.rst
+++ b/Documentation/index.rst
@@ -13,7 +13,7 @@ Contents:
kernel-documentation
development-process/index
- dev-tools/tools
+ dev-tools/index
driver-api/index
media/index
gpu/index
--
2.7.4
--
To unsubscribe from this list: send the line "unsubscribe linux-doc" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
