summaryrefslogtreecommitdiff
path: root/mkdocs.yml
diff options
context:
space:
mode:
Diffstat (limited to 'mkdocs.yml')
-rw-r--r--mkdocs.yml1
1 files changed, 1 insertions, 0 deletions
diff --git a/mkdocs.yml b/mkdocs.yml
index 6bf649ec..aa719b7d 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -137,6 +137,7 @@ nav:
- BNIL Guide: LLIL: 'dev/bnil-llil.md'
- BNIL Guide: MLIL: 'dev/bnil-mlil.md'
- BNIL Guide: HLIL: 'dev/bnil-hlil.md'
+ - Architecture & Platform Guide: 'dev/archplatform.md'
- Flag Guide: 'dev/flags.md'
- Modifying ILs: 'dev/bnil-modifying.md'
- Types: