diff options
Diffstat (limited to 'debian/patches/0005-Disable-Sphinx.patch')
-rw-r--r-- | debian/patches/0005-Disable-Sphinx.patch | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/debian/patches/0005-Disable-Sphinx.patch b/debian/patches/0005-Disable-Sphinx.patch deleted file mode 100644 index d741bb9f..00000000 --- a/debian/patches/0005-Disable-Sphinx.patch +++ /dev/null @@ -1,20 +0,0 @@ -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 0abe66b..7a418e4 100644 ---- a/src/cmake/modules/GUDHI_third_party_libraries.cmake -+++ b/src/cmake/modules/GUDHI_third_party_libraries.cmake -@@ -175,7 +175,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") |