docs: Fix install-man$(1)-pages if no manpages are generated

All tools to build manpages are optional, and if none of them happen to be
present, the intermediate working directory may not even be created.

Treat this as non-fatal, bringing the behaviour in line with install-html.
Like the html side, it needs to be not-or to avoid Make thinking the rule has
failed.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Anthony PERARD <anthony.perard@vates.tech>

diff --git a/docs/Makefile b/docs/Makefile
index 966a104490ac4f0ab2d01597bb4c8f44da84230e..b30cc619f8dd4a599514c121cc4aef2bb12b303e 100644 (file)
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -151,7 +151,7 @@ man$(1)-pages: $$(DOC_MAN$(1))
 .PHONY: install-man$(1)-pages
 install-man$(1)-pages: man$(1)-pages
        $(INSTALL_DIR) $(DESTDIR)$(mandir)
-       cp -r man$(1) $(DESTDIR)$(mandir)
+       [ ! -d man$(1) ] || cp -r man$(1) $(DESTDIR)$(mandir)
 
 # Clean
 .PHONY: clean-man$(1)-pages