summaryrefslogtreecommitdiff
path: root/debian/patches/0005-Disable-Sphinx.patch
blob: 2aee22ff285f26401eae0d0e4265fcb2bcf7a3e0 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
From: Gard Spreemann <gspr@nonempty.org>
Date: Tue, 21 Jan 2020 10:36:48 +0100
Subject: Disable Sphinx.

---
 src/cmake/modules/GUDHI_third_party_libraries.cmake | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/cmake/modules/GUDHI_third_party_libraries.cmake b/src/cmake/modules/GUDHI_third_party_libraries.cmake
index e156687..aa1c4bb 100644
--- a/src/cmake/modules/GUDHI_third_party_libraries.cmake
+++ b/src/cmake/modules/GUDHI_third_party_libraries.cmake
@@ -147,7 +147,6 @@ if( PYTHONINTERP_FOUND )
   find_python_module("matplotlib")
   find_python_module("numpy")
   find_python_module("scipy")
-  find_python_module("sphinx")
   find_python_module("sklearn")
   find_python_module("ot")
   find_python_module("pybind11")