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