X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=buildscripts%2Ftexi-skeleton-update.py;h=f76140827422f9a5133d692eea16e342d1d1d7ff;hb=837b179c7229b76b2ec88938115831af88199f51;hp=a2a5df3ccdbaf6deb586f04e8f5d35bb984a59f1;hpb=bdc171d9ae8445f2417ef2a761818976dd67e09d;p=lilypond.git diff --git a/buildscripts/texi-skeleton-update.py b/buildscripts/texi-skeleton-update.py index a2a5df3ccd..f761408274 100644 --- a/buildscripts/texi-skeleton-update.py +++ b/buildscripts/texi-skeleton-update.py @@ -8,16 +8,16 @@ import shutil sys.stderr.write ('texi-skeleton-update.py\n') -orig_skeletons = set ([os.path.basename (f) for f in glob.glob (sys.argv[1] + '/*.itely')]) -new_skeletons = set ([os.path.basename (f) for f in glob.glob (sys.argv[2] + '/*.itely')]) +orig_skeletons = set ([os.path.basename (f) for f in glob.glob (sys.argv[1] + '/*.ite??')]) +new_skeletons = set ([os.path.basename (f) for f in glob.glob (sys.argv[2] + '/*.ite??')]) for f in new_skeletons: if f in orig_skeletons: g = open (os.path.join (sys.argv[1], f), 'r').read () if '-- SKELETON FILE --' in g: - sys.stderr.write ("Copying %s...\n" % f) + sys.stderr.write ("Updating %s...\n" % f) shutil.copy (os.path.join (sys.argv[2], f), sys.argv[1]) - else: + elif f != 'fdl.itexi': sys.stderr.write ("Copying new file %s...\n" % f) shutil.copy (os.path.join (sys.argv[2], f), sys.argv[1])