📋 chore: add requirements.txt to documentation (#2122)

* chore: add requirements.txt to documentation, to ease maintenance

* docs: Update documentation_guidelines.md
This commit is contained in:
Ido Ophir 2024-03-19 19:38:18 +02:00 committed by GitHub
parent 382b303963
commit d8304ec1bb
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 33 additions and 11 deletions

View file

@ -0,0 +1,4 @@
mkdocs-material
mkdocs-nav-weight
mkdocs-publisher
mkdocs-exclude