X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=utilities%2Fautomake.mk;h=2cfdf8e33673fbdf4c9a19da2116aa9cd406a33b;hb=db0a4375c455bbea40aa127c954d8727013e1dc2;hp=dc731bfb77db28d5106a4182b336aaa9319161cc;hpb=5e00790eef53d9eeb1eb696b894405ab0ea3d66b;p=openvswitch

diff --git a/utilities/automake.mk b/utilities/automake.mk
index dc731bfb..2cfdf8e3 100644
--- a/utilities/automake.mk
+++ b/utilities/automake.mk
@@ -32,11 +32,11 @@ EXTRA_DIST += \
 	utilities/ovs-save \
 	utilities/ovs-tcpundump.1.in \
 	utilities/ovs-tcpundump.in \
-	utilities/ovs-vlan-bugs.man \
 	utilities/ovs-vlan-test.in \
 	utilities/ovs-vlan-bug-workaround.8.in \
 	utilities/ovs-vlan-test.8.in \
 	utilities/ovs-vsctl.8.in
+MAN_FRAGMENTS += utilities/ovs-vlan-bugs.man
 DISTCLEANFILES += \
 	utilities/ovs-appctl.8 \
 	utilities/ovs-ctl \