1 files changed, 1 insertions, 0 deletions

diff --git a/mkdocs.yml b/mkdocs.yml
index 6031e52d..f4ca3c2b 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -43,6 +43,7 @@ nav:
         - Working with Types: 'guide/type.md'
     - Developer Guide:
         - Contributing Documentation: 'dev/documentation.md'
+        - BNIL Guide: Overview: 'dev/bnil-overview.md'
         - BNIL Guide: LLIL: 'dev/bnil-llil.md'
         - BNIL Guide: MLIL: 'dev/bnil-mlil.md'
         #- Plugin Design: 'dev/plugins.md'