Skip to content

Commit

Permalink
update MkDocs navigation stuff
Browse files Browse the repository at this point in the history
Signed-off-by: Rieks <[email protected]>
  • Loading branch information
RieksJ committed Apr 24, 2024
1 parent 1bb51e3 commit 31ceae5
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 0 deletions.
File renamed without changes.
2 changes: 2 additions & 0 deletions mkdocs.yml
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,9 @@ nav:
- Generate MRGs: how-to/generate-mrgs.md
- Import MRGs from elsewhere: how-to/import-mrgs.md
- Resolve TermRefs: how-to/resolve-termrefs.md
- How To Use Spec-Up References: how-to/use-spec-up-term-references.md
- Glossary: glossary.md
- Abbreviations: abbreviations.md

# Assuming your Markdown files are directly in the /docs folder
docs_dir: docs
Expand Down

0 comments on commit 31ceae5

Please sign in to comment.