1 files changed, 1 insertions, 0 deletions

diff --git a/mkdocs.yml b/mkdocs.yml
index 5e77051d..aaf04e1e 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -43,6 +43,7 @@ nav:
     - Developer Guide:
         - Contributing Documentation: 'dev/documentation.md'
         - BNIL Guide: LLIL: 'dev/bnil-llil.md'
+        - BNIL Guide: MLIL: 'dev/bnil-mlil.md'
         #- Plugin Design: 'dev/plugins.md'
         #- API: 'dev/api.md'
     - About: