X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile.am;h=725ee506240365b4764d1bb2ae7a17fa11f5e838;hb=refs%2Fheads%2Fspv3;hp=1b861fb2a55494861c322fb741912d4da9e2f434;hpb=4641a075fdd5d09a3817e573779283067d348dd4;p=pspp

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