From 591db2be8f46a2b17aaaa3a79c09a5ecf016d6b0 Mon Sep 17 00:00:00 2001
From: Amin Bandali <mab@gnu.org>
Date: Sun, 14 Jul 2019 18:17:40 -0400
Subject: [PATCH] fix Home link in breadcrumb

---
 common/banner.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/common/banner.html b/common/banner.html
index a55eff1..85751b6 100644
--- a/common/banner.html
+++ b/common/banner.html
@@ -14,7 +14,7 @@
     Graduate student at University of Waterloo supervised by
     <a href="https://cs.uwaterloo.ca/~nday/">Nancy Day</a>
     <!--# else -->
-    <a href="/">Home</a> &rarr; <!--# echo var="bpage" -->
+    <a href=".">Home</a> &rarr; <!--# echo var="bpage" -->
     <!--# endif -->
   </span>
 </header>
-- 
2.20.1