summaryrefslogtreecommitdiff
path: root/debian/patches/0005-Disable-Sphinx.patch
blob: 0df79e581d75cd2e927b6a5fcb1b2cb5b90944b5 (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 a56a275..11b5b20 100644
--- a/src/cmake/modules/GUDHI_third_party_libraries.cmake
+++ b/src/cmake/modules/GUDHI_third_party_libraries.cmake
@@ -178,7 +178,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")