build(docs): pin Python dependencies
Recently some of our dependencies' dependencies have come into conflict
and are now causing errors when trying to install the Python
requirements. This change introduces `requirements.in` - a list of our
own direct dependencies, and pins them to specific versions.
The existing `requirements.txt` file is now automatically generated by
the `pip-compile` tool - part of the pip-tools package - and ensures
that our dependency tree is also pinned. This is a manual process at
present, but our dependencies are updated infrequently enough that it's
not introducing any major overhead.
Change-Id: I3cd0c11a1a4eccaf0d77b538cfdb94474833b811
Signed-off-by: Chris Kay <chris.kay@arm.com>
diff --git a/docs/requirements.in b/docs/requirements.in
new file mode 100644
index 0000000..0d74803
--- /dev/null
+++ b/docs/requirements.in
@@ -0,0 +1,4 @@
+pip-tools==6.4.0
+sphinx==2.0.0
+sphinx-rtd-theme==0.4.3
+sphinxcontrib-plantuml==0.15