]> git.puffer.fish Git - mirror/frr.git/commitdiff
doc: add rpki.texi to makefile
authorMarcel Röthke <marcel.roethke@haw-hamburg.de>
Fri, 10 Nov 2017 14:24:45 +0000 (15:24 +0100)
committerMarcel Röthke <marcel.roethke@haw-hamburg.de>
Mon, 13 Nov 2017 12:25:26 +0000 (13:25 +0100)
Signed-off-by: Marcel Röthke <marcel.roethke@haw-hamburg.de>
doc/Makefile.am

index 7d31e4cc476a2215112ede33c9d250d61b869b2b..6c80ddeaa4a67febea3acfa0883283867a22e0f6 100644 (file)
@@ -68,7 +68,8 @@ frr_TEXINFOS = appendix.texi basic.texi bgpd.texi isisd.texi filter.texi \
        ospf6d.texi ospfd.texi \
        overview.texi protocol.texi ripd.texi ripngd.texi routemap.texi \
        snmp.texi vtysh.texi routeserver.texi $(figures_png) \
-       snmptrap.texi ospf_fundamentals.texi isisd.texi $(figures_txt)
+       snmptrap.texi ospf_fundamentals.texi isisd.texi $(figures_txt) \
+       rpki.texi
 
 .png.eps:
        $(PNGTOEPS) $< "$@"