From d836b7e46d46810cdd880c48ff97adac80996623 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias <rodrigo.arias@bsc.es>
Date: Mon, 13 Nov 2023 12:54:15 +0100
Subject: [PATCH] Include changelog in documentation

---
 doc/CHANGELOG.md | 1 +
 mkdocs.yml       | 1 +
 2 files changed, 2 insertions(+)
 create mode 120000 doc/CHANGELOG.md

diff --git a/doc/CHANGELOG.md b/doc/CHANGELOG.md
new file mode 120000
index 0000000..04c99a5
--- /dev/null
+++ b/doc/CHANGELOG.md
@@ -0,0 +1 @@
+../CHANGELOG.md
\ No newline at end of file
diff --git a/mkdocs.yml b/mkdocs.yml
index e09a3e6..94dd8d0 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -35,6 +35,7 @@ nav:
       - user/emulation/tampi.md
       - user/emulation/mpi.md
       - user/emulation/events.md
+    - CHANGELOG.md
   - 'Developer guide':
     - dev/index.md
     - dev/channels.md