diff options
Diffstat (limited to 'Makefile.maint')
| -rw-r--r-- | Makefile.maint | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Makefile.maint b/Makefile.maint index 795cd99ee..c4da71e93 100644 --- a/Makefile.maint +++ b/Makefile.maint @@ -450,7 +450,9 @@ writable-files: v_etc_file = lib/version-etc.c sample-test = tests/sample-test +texi = doc/$(PACKAGE).texi # Make sure that the copyright date in $(v_etc_file) is up to date. +# Do the same for the $(sample-test) and the main doc/.texi file. copyright-check: @if test -f $(v_etc_file); then \ grep 'enum { COPYRIGHT_YEAR = '$$(date +%Y)' };' $(v_etc_file) \ @@ -464,6 +466,12 @@ copyright-check: || { echo 'out of date copyright in $(sample-test); update it' 1>&2; \ exit 1; }; \ fi + @if test -f $(texi); then \ + grep 'Copyright @copyright{} .*'$$(date +%Y)' Free' $(texi) \ + >/dev/null \ + || { echo 'out of date copyright in $(texi); update it' 1>&2; \ + exit 1; }; \ + fi # Sanity checks with the repository. |