X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile.am;fp=Makefile.am;h=3f4a9c6250a943e6e2b41d5c829ef31e91777895;hb=5945ce59bf14d8e5ffa50ef82ce56e79800a9bb2;hp=ae1905f4c64645fe5a4c17b5fafa4870eb9ac579;hpb=51cf173b5eaaa8c5cc6233f9c8924eb44498e89d;p=pspp

diff --git a/Makefile.am b/Makefile.am
index ae1905f4c6..3f4a9c6250 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -135,6 +135,7 @@ dist-hook-git: distfiles
             (git --version) >/dev/null 2>&1; then                           \
 	  (cd $(srcdir) && git ls-files)				    \
 	    | grep -vE '\.gitignore|README.Git|Smake|Bug-administration'    \
+	    | grep -vE '\.gitattributes'                                    \
 	    | LC_ALL=C sort -u > gitfiles;				    \
 	  LC_ALL=C comm -1 -3 distfiles gitfiles > missing-distfiles;	    \
 	  if test -s missing-distfiles; then				    \