From b9d146bab37db1fe9f95828ff314fdd89bf818a8 Mon Sep 17 00:00:00 2001 From: Dirk Hohndel Date: Wed, 17 Dec 2014 12:45:45 -0800 Subject: Fix more references to the ReleaseNotes This should be all of them. Signed-off-by: Dirk Hohndel --- scripts/check-version | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'scripts/check-version') diff --git a/scripts/check-version b/scripts/check-version index 24f90af79..1770ba5f4 100755 --- a/scripts/check-version +++ b/scripts/check-version @@ -15,7 +15,7 @@ set -eu #set -x # You would typically add/remove files to/from the list -files="Documentation/user-manual.txt Makefile README ReleaseNotes.txt" +files="Documentation/user-manual.txt Makefile README ReleaseNotes/ReleaseNotes.txt" whine() { echo "$0: $*" >&2 -- cgit v1.2.3-70-g09d2