1 files changed, 14 insertions, 0 deletions
diff --git a/documentation/Pipfile b/documentation/Pipfile
new file mode 100644
index 0000000000..7ee1d22905
--- /dev/null
+++ b/documentation/Pipfile
@@ -0,0 +1,14 @@
+[[source]]
+name = "pypi"
+url = "https://pypi.org/simple"
+verify_ssl = true
+
+[dev-packages]
+
+[packages]
+sphinx = "*"
+sphinx-rtd-theme = "*"
+pyyaml = "*"
+
+[requires]
+python_version = "3"