From 37812e37a33795c0db3f9250a8e6a8a5d89e41d7 Mon Sep 17 00:00:00 2001
From: Hartmut Kaiser <hartmut.kaiser@gmail.com>
Date: Mon, 18 Jul 2022 15:51:21 -0500
Subject: [PATCH] Ignore failure if hpx.pdf does not exist

---
 cmake/HPX_UpdateGitDocs.cmake | 1 +
 1 file changed, 1 insertion(+)

diff --git a/cmake/HPX_UpdateGitDocs.cmake b/cmake/HPX_UpdateGitDocs.cmake
index 2013335dd556..b0270f1acfad 100644
--- a/cmake/HPX_UpdateGitDocs.cmake
+++ b/cmake/HPX_UpdateGitDocs.cmake
@@ -83,6 +83,7 @@ if(HPX_WITH_GIT_BRANCH)
       COPY "${DOCS_SOURCE}/latexpdf/latex/HPX.pdf"
       DESTINATION "${DOCS_BRANCH_DEST}/pdf/"
       PATTERN "*.buildinfo" EXCLUDE
+      RESULT __pdf_copied
     )
   endif()
   # special handling of dependency report files