From 3a9873f5c78fab2e71b6b580bdb4117f562b59c4 Mon Sep 17 00:00:00 2001
From: damithc <damithc@github>
Date: Fri, 17 May 2024 01:09:55 +0800
Subject: [PATCH] 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).
---
 docs/_markbind/layouts/body.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/_markbind/layouts/body.md b/docs/_markbind/layouts/body.md
index 0a64b48640..76e27d6a44 100644
--- 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 />