scripts/auxiliar/texi-skeleton-update.py

   1 #!/usr/bin/env python
   2 # texi-skeleton-update.py
   3
   4 import sys
   5 import glob
   6 import os
   7 import shutil
   8
   9 sys.stderr.write ('texi-skeleton-update.py\n')
  10
  11 orig_skeletons = set ([os.path.basename (f) for f in glob.glob (sys.argv[1] + '/*.ite??')])
  12 new_skeletons = set ([os.path.basename (f) for f in glob.glob (sys.argv[2] + '/*.ite??')])
  13
  14 for f in new_skeletons:
  15     if f in orig_skeletons:
  16         g = open (os.path.join (sys.argv[1], f), 'r').read ()
  17         if '-- SKELETON FILE --' in g:
  18             sys.stderr.write ("Updating %s...\n" % f)
  19             shutil.copy (os.path.join (sys.argv[2], f), sys.argv[1])
  20     elif f != 'fdl.itexi':
  21         sys.stderr.write ("Copying new file %s...\n" % f)
  22         shutil.copy (os.path.join (sys.argv[2], f), sys.argv[1])
  23
  24 for f in orig_skeletons.difference (new_skeletons):
  25     sys.stderr.write ("Warning: outdated skeleton file %s\n" % f)