Include changelog in documentation

This commit is contained in:
Rodrigo Arias 2023-11-13 12:54:15 +01:00
parent 6b0b5bfbbd
commit d836b7e46d
2 changed files with 2 additions and 0 deletions

1
doc/CHANGELOG.md Symbolic link
View File

@ -0,0 +1 @@
../CHANGELOG.md

View File

@ -35,6 +35,7 @@ nav:
- user/emulation/tampi.md - user/emulation/tampi.md
- user/emulation/mpi.md - user/emulation/mpi.md
- user/emulation/events.md - user/emulation/events.md
- CHANGELOG.md
- 'Developer guide': - 'Developer guide':
- dev/index.md - dev/index.md
- dev/channels.md - dev/channels.md