Rename README to README.md in some scripts, makefiles,...

Was needed after the file itself was renamed.

Signed-off-by: Stefan Fuchs <sfuchs@gmx.de>
This commit is contained in:
Stefan Fuchs 2017-11-04 18:05:35 +01:00 committed by Dirk Hohndel
parent 617c6d3564
commit 76286c4ece
4 changed files with 4 additions and 4 deletions

View file

@ -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