X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile.am;h=1b148719f6cfc463a1220fdabd431c350de66525;hb=22a86f18c4aa481b3b5e5fd6fa71bc74856a60bf;hp=50c4b14283781d5efdae2a84a32db228a0e25bcb;hpb=b4e1bf8b7ef8704d857a9ee93d40719289b2139e;p=openvswitch

diff --git a/Makefile.am b/Makefile.am
index 50c4b142..1b148719 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -42,9 +42,9 @@ EXTRA_DIST = \
 	CodingStyle \
 	DESIGN \
 	FAQ \
+	INSTALL \
 	INSTALL.KVM \
 	INSTALL.Libvirt \
-	INSTALL.Linux \
 	INSTALL.RHEL \
 	INSTALL.SSL \
 	INSTALL.XenServer \
@@ -108,6 +108,7 @@ SUFFIXES += .in
 	    sed \
 		-e 's,[@]PKIDIR[@],$(PKIDIR),g' \
                 -e 's,[@]LOGDIR[@],$(LOGDIR),g' \
+                -e 's,[@]DBDIR[@],$(DBDIR),g' \
                 -e 's,[@]PERL[@],$(PERL),g' \
                 -e 's,[@]PYTHON[@],$(PYTHON),g' \
                 -e 's,[@]RUNDIR[@],$(RUNDIR),g' \