From 54e53978fcaf8634886aa05e9a89e6316f86b43d Mon Sep 17 00:00:00 2001 From: Juergen Werner Date: Fri, 3 May 2019 20:17:08 +0200 Subject: [PATCH] doc: Fix failing `make doc` This build system bug was introduced with 9251d1f596. Signed-off-by: Juergen Werner --- doc/developer/subdir.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/developer/subdir.am b/doc/developer/subdir.am index 479aa04d59..996f12d47f 100644 --- a/doc/developer/subdir.am +++ b/doc/developer/subdir.am @@ -40,7 +40,7 @@ dev_RSTFILES = \ doc/developer/ospf-sr.rst \ doc/developer/ospf.rst \ doc/developer/packaging-debian.rst \ - doc/developer/packaging-redhat.rst + doc/developer/packaging-redhat.rst \ doc/developer/packaging.rst \ doc/developer/testing.rst \ doc/developer/topotests-snippets.rst \ -- 2.39.5