X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile.am;fp=Makefile.am;h=6e60789d2b860f89fc7245451853d94c188a2709;hb=ffeabe9db40ea836e3d5adbd3a5de1c557342593;hp=a5a7d5c79e94bb789c5f0a3156da65978931648c;hpb=483d3726b480b41c1f2f6b2912258b259495feeb;p=pspp

diff --git a/Makefile.am b/Makefile.am
index a5a7d5c79e..6e60789d2b 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -48,6 +48,12 @@ PHONY =
 SUFFIXES = .q
 LDADD = gl/libgl.la
 
+# This ensures that files added to EXTRA_DIST are always distributed,
+# even if they are inside an Automake if...endif conditional block that is
+# disabled by some particular "configure" run.  For more information, see:
+# http://article.gmane.org/gmane.comp.sysutils.automake.general/10891
+noinst_HEADERS = $(EXTRA_DIST)
+
 generate-changelog:
 	if test -d $(top_srcdir)/.git; then			\
 	  $(top_srcdir)/build-aux/gitlog-to-changelog --since=2008-07-27	\