diff --git a/docs/README.md b/docs/README.md new file mode 100644 index 0000000000000000000000000000000000000000..d49db9ded07b3dbeb1087b90b99367a465d169fe --- /dev/null +++ b/docs/README.md @@ -0,0 +1,9 @@ +To build the sphinx documentation, run: + +``` +pip3 install sphinx sphinx-rtd-theme + +make html +``` + +After which the documentation will be available in html format in the `build/html` directory.