Fix generation of gallery page (issue was due to change to fullnames)

This commit is contained in:
Robin Dunn
2016-06-08 10:57:15 -07:00
parent 664d5b765a
commit 2147270817

View File

@@ -535,8 +535,7 @@ def genGallery():
for text in txt_files:
simple = os.path.split(os.path.splitext(text)[0])[1]
possible = simple.split('.')[-1]
possible = possible.lower()
possible = simple.lower()
html_files[possible + '.png'] = simple + '.html'
keys = list(html_files.keys())