X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=debian%2Fautomake.mk;h=7c73831a2ae8fa951b06587fddf2a312ca10076f;hb=1998cd4d3ef151a57abf9a2e826659f28146362b;hp=c768d56b56bbeb853316e9c576966764a77ec03b;hpb=1d273d6d802e5daeebe551e8ca0c3e99f4dda15e;p=openvswitch

diff --git a/debian/automake.mk b/debian/automake.mk
index c768d56b..7c73831a 100644
--- a/debian/automake.mk
+++ b/debian/automake.mk
@@ -24,6 +24,9 @@ EXTRA_DIST += \
 	debian/openvswitch-datapath-source.copyright \
 	debian/openvswitch-datapath-source.dirs \
 	debian/openvswitch-datapath-source.install \
+	debian/openvswitch-ipsec.dirs \
+	debian/openvswitch-ipsec.init \
+	debian/openvswitch-ipsec.install \
 	debian/openvswitch-pki-server.apache2 \
 	debian/openvswitch-pki-server.dirs \
 	debian/openvswitch-pki-server.install \
@@ -39,6 +42,8 @@ EXTRA_DIST += \
 	debian/openvswitch-switch.postrm \
 	debian/openvswitch-switch.template \
 	debian/ovs-bugtool \
+	debian/ovs-bugtool.8 \
+	debian/ovs-monitor-ipsec \
 	debian/python-openvswitch.dirs \
 	debian/python-openvswitch.install \
 	debian/rules \