build: Don't fail copyright header check on archive.dir.tar.

* check-copyright-headers (func_check_file): Succeed for the archive.dir.tar
file.

diff --git a/check-copyright-headers b/check-copyright-headers
index 27a68d5935f1b50aa660f1fc1e30a868c195a72e..7cbc65f5634c9354457191e33234312d8d3af891 100755 (executable)
--- a/check-copyright-headers
+++ b/check-copyright-headers
@@ -156,6 +156,11 @@ func_check_file ()
       # This is a form, used for communication with the FSF.
       return 0 ;;
 
+    /gettext-tools/misc/archive.dir.tar )
+      # This is an archive of files that were part of earlier gettext releases.
+      # As a binary file, it cannot have a copyright header.
+      return 0 ;;
+
     *.gmo )
       # These are binary files. FOO.gmo is generated from FOO.po, which is
       # also distributed.