docs: Fix missing PageNav

Let's fix the typo that caused the page navigation menu to go missing in documentation pages (e.g., UG/DG pages).
reposense · May 16, 2024 · 3a9873f · 3a9873f
1 parent 62f3d54
commit 3a9873f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/_markbind/layouts/body.md b/docs/_markbind/layouts/body.md
@@ -12,7 +12,7 @@
 <div id="content-wrapper" class="fixed-header-padding">
 {{ content }}
 </div>
-{% if pagnav %}
+{% if pagenav %}
 <nav id="page-nav" class="fixed-header-padding">
 <div class="nav-component slim-scroll">
 <page-nav />