diff options
Diffstat (limited to 'debian/patches/0005-Disable-Sphinx.patch')
| -rw-r--r-- | debian/patches/0005-Disable-Sphinx.patch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/patches/0005-Disable-Sphinx.patch b/debian/patches/0005-Disable-Sphinx.patch index 0df79e58..2aee22ff 100644 --- a/debian/patches/0005-Disable-Sphinx.patch +++ b/debian/patches/0005-Disable-Sphinx.patch @@ -7,10 +7,10 @@ Subject: Disable Sphinx. 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 +index e156687..aa1c4bb 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 ) +@@ -147,7 +147,6 @@ if( PYTHONINTERP_FOUND ) find_python_module("matplotlib") find_python_module("numpy") find_python_module("scipy") |