X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile.am;h=fa7b5ea2d618a6be00914685cb2eb55803a47cd3;hb=02029a699a1642043ca50d90cf4a39949708426e;hp=37d98f601bc7794794f01eb74bf3ee6a483cf61d;hpb=87103e1fccd88e0fc8a64d774ddb620deeb90678;p=openvswitch

diff --git a/Makefile.am b/Makefile.am
index 37d98f60..fa7b5ea2 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -38,6 +38,7 @@ EXTRA_DIST = \
 	INSTALL.bridge \
 	INSTALL.userspace \
 	NOTICE \
+	PORTING \
 	README-gcov \
 	REPORTING-BUGS \
 	SubmittingPatches \
@@ -59,6 +60,12 @@ noinst_SCRIPTS =
 OVSIDL_BUILT =
 SUFFIXES =
 
+# 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)
+
 EXTRA_DIST += \
 	build-aux/update-debian-changelog \
 	soexpand.pl