1 #! /usr/bin/env python3
5 main_prog_mtime = os.path.getmtime("phd.py")
6 main_tmpl_mtime = os.path.getmtime("phd_site.tmpl")
10 src_mtime = os.path.getmtime(line)
12 dest = line.replace(".tmpl", ".html")
14 dest_mtime = os.path.getmtime(dest)
18 make = (src_mtime > dest_mtime) or \
19 (main_prog_mtime > dest_mtime) or (main_tmpl_mtime > dest_mtime)