From: Graham Percival <graham@percival-music.ca>
Date: Fri, 13 Aug 2010 19:07:51 +0000 (+0100)
Subject: Build: dist fix.
X-Git-Tag: release/2.13.30-1~1
X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=3f8c4120d1c14b5490ac06fc163a5ccd8bee93ab;p=lilypond.git

Build: dist fix.
---

diff --git a/scripts/auxiliar/GNUmakefile b/scripts/auxiliar/GNUmakefile
index 4ac41794ba..910e6b1ab5 100644
--- a/scripts/auxiliar/GNUmakefile
+++ b/scripts/auxiliar/GNUmakefile
@@ -3,6 +3,7 @@ depth=../..
 EXTRA_DIST_FILES = $(call src-wildcard,*.sh) $(call src-wildcard,*.py)
 EXTRA_DIST_FILES += pfx2ttf.fontforge
 EXTRA_DIST_FILES += lily-git.tcl
+EXTRA_DIST_FILES += update-patch-version.sh
 
 include $(depth)/make/stepmake.make
 
diff --git a/scripts/auxiliar/update-patch-version b/scripts/auxiliar/update-patch-version
deleted file mode 100755
index ac30788f81..0000000000
--- a/scripts/auxiliar/update-patch-version
+++ /dev/null
@@ -1,21 +0,0 @@
-#! /bin/bash
-#
-#  Update the version number in lilypond snippets without running convert-ly
-#   on the snippets
-#  Note: this does not change anything but the version number, and it will only
-#   change the specified version number
-#
-#  This is useful when a patch containing a number of snippets (due to a change
-#   in syntax) has not completed review before a new development release
-#   is made.
-#
-#  Usage: update-patch-version old-version new-version
-
-if [ $# -ne 2 ] # need exactly 2 arguments
-then
-  echo "Usage:  update-patch-version old-version new-version"
-  exit 1
-fi
-
-git grep --name-only $1 | xargs sed -i -e s/$1/$2/g
-
diff --git a/scripts/auxiliar/update-patch-version.sh b/scripts/auxiliar/update-patch-version.sh
new file mode 100755
index 0000000000..ac30788f81
--- /dev/null
+++ b/scripts/auxiliar/update-patch-version.sh
@@ -0,0 +1,21 @@
+#! /bin/bash
+#
+#  Update the version number in lilypond snippets without running convert-ly
+#   on the snippets
+#  Note: this does not change anything but the version number, and it will only
+#   change the specified version number
+#
+#  This is useful when a patch containing a number of snippets (due to a change
+#   in syntax) has not completed review before a new development release
+#   is made.
+#
+#  Usage: update-patch-version old-version new-version
+
+if [ $# -ne 2 ] # need exactly 2 arguments
+then
+  echo "Usage:  update-patch-version old-version new-version"
+  exit 1
+fi
+
+git grep --name-only $1 | xargs sed -i -e s/$1/$2/g
+