X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=manpages.mk;h=f391fdf9d2107d208788f63a5e6b1a0f06210772;hb=6302c64103fee63797dd10817d04fc7c1ddd23f7;hp=1773263da3236bc003ca2245c01acd3daa605c45;hpb=a5f607bc8994e5ed870a62062df54e1b5753c6a2;p=openvswitch

diff --git a/manpages.mk b/manpages.mk
index 1773263d..f391fdf9 100644
--- a/manpages.mk
+++ b/manpages.mk
@@ -120,6 +120,14 @@ utilities/ovs-dpctl.8.in:
 lib/common.man:
 lib/vlog.man:
 
+utilities/ovs-l3ping.8: \
+	utilities/ovs-l3ping.8.in \
+	lib/common-syn.man \
+	lib/common.man
+utilities/ovs-l3ping.8.in:
+lib/common-syn.man:
+lib/common.man:
+
 utilities/ovs-ofctl.8: \
 	utilities/ovs-ofctl.8.in \
 	lib/common.man \