sys.stderr.write ('texi-skeleton-update.py\n')
orig_skeletons = set ([os.path.basename (f) for f in glob.glob (sys.argv[1] + '/*.ite??')])
-print orig_skeletons
new_skeletons = set ([os.path.basename (f) for f in glob.glob (sys.argv[2] + '/*.ite??')])
-print new_skeletons
for f in new_skeletons:
if f in orig_skeletons: