From 22d7b4ce7354f00184f18a1270fa5a3be3f3a12a Mon Sep 17 00:00:00 2001
From: Paul Houser <m.houser.p@gmail.com>
Date: Mon, 24 Aug 2020 15:13:14 -0700
Subject: [PATCH] fixed bug with duplicate keys

---
 install.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/install.py b/install.py
index 7a3bd4b..61b5962 100755
--- a/install.py
+++ b/install.py
@@ -56,7 +56,7 @@ def gen_col_headers(html_file, file_dict):
 
 def gen_columns(html_file, file_dict):
     for key in file_dict:
-        if key == "tree":
+        if key.split("_")[0] == "tree":
             html_file.write("<div class=\"column\">\n")
             html_file.write("  <div class=\"tree\">\n")
             html_file.write("    <h1>.</h1>\n")