From c45eb55186491d1f7f268a4134ff478fba782374 Mon Sep 17 00:00:00 2001 From: Jordan Wiens Date: Mon, 12 Apr 2021 23:06:47 -0400 Subject: add flag docs to dev guide and update index --- mkdocs.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'mkdocs.yml') diff --git a/mkdocs.yml b/mkdocs.yml index 13a1aa59..bea96043 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -44,7 +44,8 @@ nav: - 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' + - Writing Plugins: 'dev/plugins.md' + - Flag Guide: 'dev/flags.md' #- API: 'dev/api.md' - About: - License: 'about/license.md' -- cgit v1.3.1