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

[patchbot@xxxxxxx]

commit 5aa152913cd0d71efed459cabb49ba055bb7776f
Author:     Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
AuthorDate: Sat Jul 13 17:14:16 2024 +0100
Commit:     Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
CommitDate: Mon Jul 22 16:25:07 2024 +0100

    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@xxxxxxxxxx>
    Reviewed-by: Anthony PERARD <anthony.perard@xxxxxxxxxx>
---
 docs/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/Makefile b/docs/Makefile
index 966a104490..b30cc619f8 100644
--- 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
--
generated by git-patchbot for /home/xen/git/xen.git#master