From 000da77ba2c6c7c8bb4bf5fa34456984f01bd6bc Mon Sep 17 00:00:00 2001
From: Peter Mosses <18308236+pdmosses@users.noreply.github.com>
Date: Sat, 12 Sep 2020 08:55:53 +0200
Subject: [PATCH] Update _includes/nav.html

Correction needed for use of collections.

Co-authored-by: Kevin Lin <kevinl@cs.uw.edu>
---
 _includes/nav.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_includes/nav.html b/_includes/nav.html
index a70e2b0..976dbbd 100644
--- a/_includes/nav.html
+++ b/_includes/nav.html
@@ -1,5 +1,5 @@
 <ul class="nav-list">
-  {%- assign included_pages = site.html_pages
+  {%- assign included_pages = include.pages
         | where_exp:"item", "item.nav_exclude != true"
         | where_exp:"item", "item.title != nil" -%}