X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile.am;h=dafba2b52312d68132f660a4131fd41600b24737;hb=543a550837f40e39c9f6f110e927b4c230c2d77c;hp=1b148719f6cfc463a1220fdabd431c350de66525;hpb=f973f2af2fd4452c8e182caf6a4346cf2a2a394e;p=openvswitch

diff --git a/Makefile.am b/Makefile.am
index 1b148719..dafba2b5 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -43,6 +43,7 @@ EXTRA_DIST = \
 	DESIGN \
 	FAQ \
 	INSTALL \
+	INSTALL.Fedora \
 	INSTALL.KVM \
 	INSTALL.Libvirt \
 	INSTALL.RHEL \