import glob
import datetime
-html_copyright = """<div style="font-size: small; color: gray; margin-top: 1em;">Authors: Michal Sojka, Pavel Píša, Copyright © 2010-%d Czech Technical University in Prague</div>""" % datetime.date.today().year
+html_copyright = """<div style="font-size: small; color: gray; margin-top: 1em;">Authors: Michal Sojka, Pavel Píša, Martin Hořeňovský, Copyright © 2010-%d Czech Technical University in Prague</div>""" % datetime.date.today().year
class DimValue(object):
def __new__(cls, dim, value):