]> git.phdru.name Git - phdru.name/phdru.name.git/blobdiff - make-changed.py
Fix(phd.py): Change URL for Lurk
[phdru.name/phdru.name.git] / make-changed.py
index 86a251beb6e2dd7592e3f9b275a81e86433bd6d3..24643948d8a66d8d2b58131acb1741fbce51936f 100755 (executable)
@@ -1,9 +1,9 @@
-#! /usr/local/bin/python -O
+#! /usr/bin/env python
 
 import sys, os
 
-main_tmpl_mtime = os.path.getmtime("phd_pp_ru.tmpl")
-main_prog_mtime = os.path.getmtime("phd_pp.py")
+main_prog_mtime = os.path.getmtime("phd.py")
+main_tmpl_mtime = os.path.getmtime("phd_site.tmpl")
 
 for line in sys.stdin:
    line = line.strip()
@@ -16,7 +16,7 @@ for line in sys.stdin:
       make = True
    else:
       make = (src_mtime > dest_mtime) or \
-         (main_tmpl_mtime > dest_mtime) or (main_prog_mtime > dest_mtime)
+         (main_prog_mtime > dest_mtime) or (main_tmpl_mtime > dest_mtime)
 
    if make:
       print line