X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=debian%2Fautomake.mk;h=7c73831a2ae8fa951b06587fddf2a312ca10076f;hb=85da620e9788b473797b95212b916327974e6942;hp=20432062a2c9cf38dd301885901ba0cf870b90bb;hpb=a3acf0b0c46a28d6c891086e054d81dd915eea2e;p=openvswitch

diff --git a/debian/automake.mk b/debian/automake.mk
index 20432062..7c73831a 100644
--- a/debian/automake.mk
+++ b/debian/automake.mk
@@ -42,6 +42,7 @@ 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 \