From 758661fa6d37647bb721b2391bbff773571561b6 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Marcel=20R=C3=B6thke?= Date: Fri, 10 Nov 2017 15:24:45 +0100 Subject: [PATCH] doc: add rpki.texi to makefile MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Signed-off-by: Marcel Röthke --- doc/Makefile.am | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/Makefile.am b/doc/Makefile.am index 7d31e4cc47..6c80ddeaa4 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -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) $< "$@" -- 2.39.5