diff options
Diffstat (limited to 'ports/geos/dont-build-docs.patch')
| -rw-r--r-- | ports/geos/dont-build-docs.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/ports/geos/dont-build-docs.patch b/ports/geos/dont-build-docs.patch new file mode 100644 index 000000000..fcd2742c8 --- /dev/null +++ b/ports/geos/dont-build-docs.patch @@ -0,0 +1,12 @@ +diff --git a/CMakeLists.txt b/CMakeLists.txt +index b78ca54b..507df2af 100644 +--- a/CMakeLists.txt ++++ b/CMakeLists.txt +@@ -264,7 +264,6 @@ add_subdirectory(benchmarks) + #----------------------------------------------------------------------------- + # Documentation/Examples + #----------------------------------------------------------------------------- +-add_subdirectory(doc) + + #----------------------------------------------------------------------------- + # Install and export targets - support 'make install' or equivalent |