diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2014-12-17 12:45:45 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2014-12-17 12:45:45 -0800 |
| commit | b9d146bab37db1fe9f95828ff314fdd89bf818a8 (patch) | |
| tree | 091ff772f5b8feb693d8b336e8d337e0b5849ea8 /scripts | |
| parent | 6263857f74a3307122050bc7af43bf234865df03 (diff) | |
| download | subsurface-b9d146bab37db1fe9f95828ff314fdd89bf818a8.tar.gz | |
Fix more references to the ReleaseNotes
This should be all of them.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/check-version | 2 |
1 files changed, 1 insertions, 1 deletions
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 |