make-changed.py

   1 #! /usr/bin/env python3
   2
   3 import sys, os
   4
   5 main_prog_mtime = os.path.getmtime("phd.py")
   6 main_tmpl_mtime = os.path.getmtime("phd_site.tmpl")
   7
   8 for line in sys.stdin:
   9     line = line.strip()
  10     src_mtime = os.path.getmtime(line)
  11
  12     dest = line.replace(".tmpl", ".html")
  13     try:
  14         dest_mtime = os.path.getmtime(dest)
  15     except OSError:
  16         make = True
  17     else:
  18         make = (src_mtime > dest_mtime) or \
  19             (main_prog_mtime > dest_mtime) or (main_tmpl_mtime > dest_mtime)
  20
  21     if make:
  22         print(line)