X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=buildscripts%2Ftexi-skeleton-update.py;h=f76140827422f9a5133d692eea16e342d1d1d7ff;hb=1c50972e1df0d11ce36f0f0ad04b0b860f10f910;hp=399b22effce5afc72fe83703124bb1c26a370ae2;hpb=2b5cabd0f53c8fc3e553fee7b3aa5c3352e1106a;p=lilypond.git diff --git a/buildscripts/texi-skeleton-update.py b/buildscripts/texi-skeleton-update.py index 399b22effc..f761408274 100644 --- a/buildscripts/texi-skeleton-update.py +++ b/buildscripts/texi-skeleton-update.py @@ -8,8 +8,8 @@ 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: @@ -17,7 +17,7 @@ for f in new_skeletons: if '-- SKELETON FILE --' in g: 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])