doc: add dev install page.

This commit is contained in:
Alexandre Pujol 2024-01-27 23:21:32 +00:00
parent f6396cc956
commit f56f10aa16
No known key found for this signature in database
GPG key ID: C5469996F0DF68EC
2 changed files with 56 additions and 0 deletions

View file

@ -140,6 +140,7 @@ nav:
- Development:
- development/index.md
- Architecture:
- development/install.md
- development/guidelines.md
- development/structure.md
- Tests: