From 0e1ff1a3019fee0a4e97691bc4a156841ae91bb1 Mon Sep 17 00:00:00 2001
From: "Damith C. Rajapakse" <damith@gmail.com>
Date: Fri, 17 May 2024 06:30:54 +0800
Subject: [PATCH] Fix missing PageNav in docs (#2219)

Fix missing PageNav in docs

The page navigation menu did not appear on the documentation site due
to a typo.

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 />