From 2f798e87c10a93235a00e95c38e736f9ff7e991b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Micha=C5=82=20G=C3=B3rny?= <mgorny@gentoo.org>
Date: Mon, 8 Jun 2015 14:29:03 +0200
Subject: [PATCH 04/10] cmake: Add an ordering dep between HTML & man Sphinx
 targets

Add a dependency between HTML & manpage Sphinx targets to prevent two
instances of Sphinx from running in parallel, and therefore solves race
conditions reusing the same doctree directory.

Bug: https://llvm.org/bugs/show_bug.cgi?id=23781
Patch: https://reviews.llvm.org/D23755
---
 docs/CMakeLists.txt | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/docs/CMakeLists.txt b/docs/CMakeLists.txt
index f2cd7e9..179a65b 100644
--- a/docs/CMakeLists.txt
+++ b/docs/CMakeLists.txt
@@ -109,6 +109,9 @@ if (LLVM_ENABLE_SPHINX)
 
     if (${SPHINX_OUTPUT_MAN})
       add_sphinx_target(man llvm)
+      if (${SPHINX_OUTPUT_HTML})
+        add_dependencies(docs-llvm-html docs-llvm-man)
+      endif()
     endif()
 
   endif()
-- 
2.9.3