From 76286c4ece36baff3aaabb8a4e1252997d8ad7c4 Mon Sep 17 00:00:00 2001 From: Stefan Fuchs Date: Sat, 4 Nov 2017 18:05:35 +0100 Subject: Rename README to README.md in some scripts, makefiles,... Was needed after the file itself was renamed. Signed-off-by: Stefan Fuchs --- 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 1770ba5f4..525d65d22 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/ReleaseNotes.txt" +files="Documentation/user-manual.txt Makefile README.md ReleaseNotes/ReleaseNotes.txt" whine() { echo "$0: $*" >&2 -- cgit v1.2.3-70-g09d2