diff options
| author | David Lamparter <equinox@opensourcerouting.org> | 2018-09-05 11:25:24 +0200 |
|---|---|---|
| committer | David Lamparter <equinox@opensourcerouting.org> | 2018-09-09 20:01:08 +0200 |
| commit | f4f2f2ccac75f5498924288adf814b54ee1e1c81 (patch) | |
| tree | 7f23fce01fb6bbb509cb6f1e9ae4de683bab75a4 /doc/manpages | |
| parent | 55e6c1329f78d5c672a58ff1fad86d7711a649c3 (diff) | |
build: fix not building docs w/o sphinx
Can't build manpages without sphinx-build, oops...
Signed-off-by: David Lamparter <equinox@diac24.net>
Diffstat (limited to 'doc/manpages')
| -rw-r--r-- | doc/manpages/subdir.am | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/doc/manpages/subdir.am b/doc/manpages/subdir.am index 0ce9161db6..4a9aa4de4d 100644 --- a/doc/manpages/subdir.am +++ b/doc/manpages/subdir.am @@ -47,10 +47,16 @@ rstman8dir = $(mandir)/man8 rstman1_DATA = rstman8_DATA = -rstman1_DATA += $(MANBUILD)/frr.1 +if DOC +rstman1_DATA += $(man1) +rstman8_DATA += $(man8) +endif # DOC + +man1 = $(MANBUILD)/frr.1 +man8 = # dependency -$(rstman8_DATA) $(rstman1_DATA): $(MANBUILD)/man.stamp +$(man8) $(man1): $(MANBUILD)/man.stamp # # hook-ins for clean / doc |