docs(deps): update theme to v2.0.5

This commit is contained in:
aquint-zama
2021-11-23 16:23:32 +01:00
committed by Alex Quint
parent 54c0bc6e87
commit 09e8a97232
18 changed files with 235 additions and 863 deletions

21
docs/dev/index.rst Normal file
View File

@@ -0,0 +1,21 @@
Developer Guide
===============
.. toctree::
:maxdepth: 1
:caption: How To
howto/PROJECT_SETUP.md
howto/DOCKER.md
howto/DOCUMENTING.md
Releasing on GitHub <howto/RELEASING.md>
howto/CONTRIBUTING.md
.. toctree::
:maxdepth: 1
:caption: Explanation
explanation/COMPILATION.md
explanation/TERMINOLOGY_AND_STRUCTURE.md
explanation/FLOAT-FUSING.md
explanation/MLIR.md