diff options
| author | Juergen Werner <pogojotz@gmx.net> | 2019-05-03 20:17:08 +0200 |
|---|---|---|
| committer | Juergen Werner <pogojotz@gmx.net> | 2019-05-03 20:17:08 +0200 |
| commit | 54e53978fcaf8634886aa05e9a89e6316f86b43d (patch) | |
| tree | c49c12b68e5800387eb5e336c3d613db55394bc0 | |
| parent | 43932ad63c162faca22a29cd18ceb46d9bae5ed4 (diff) | |
doc: Fix failing `make doc`
This build system bug was introduced with 9251d1f596.
Signed-off-by: Juergen Werner <pogojotz@gmx.net>
| -rw-r--r-- | doc/developer/subdir.am | 2 |
1 files changed, 1 insertions, 1 deletions
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 \ |