X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=ofproto%2Fautomake.mk;h=ae35b7ffee37b991c476fdfc1b739599957cf3ce;hb=0993b66bf85d8816b1937675364c8ff268ccecd8;hp=df83aef09fc4572159e174ebd09dadf872412b31;hpb=5bee6e2638989aff14429c5a85fa7cef196f2106;p=openvswitch

diff --git a/ofproto/automake.mk b/ofproto/automake.mk
index df83aef0..ae35b7ff 100644
--- a/ofproto/automake.mk
+++ b/ofproto/automake.mk
@@ -29,4 +29,4 @@ ofproto_libofproto_a_SOURCES = \
 	ofproto/pinsched.c \
 	ofproto/pinsched.h
 
-EXTRA_DIST += ofproto/ofproto-unixctl.man
+MAN_FRAGMENTS += ofproto/ofproto-unixctl.man