diff options
Diffstat (limited to 'debian/patches/no-install-LICENSE')
-rw-r--r-- | debian/patches/no-install-LICENSE | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/debian/patches/no-install-LICENSE b/debian/patches/no-install-LICENSE new file mode 100644 index 0000000..0bc73f8 --- /dev/null +++ b/debian/patches/no-install-LICENSE @@ -0,0 +1,14 @@ +Description: Do not install additional LICENSE file +Author: Johannes Schauer <j.schauer@email.de> +Forwarded: not-needed + +--- a/CMakeLists.txt ++++ b/CMakeLists.txt +@@ -206,7 +206,6 @@ set(PDF2HTMLEX_RESOURCE + ${CMAKE_SOURCE_DIR}/share/base.min.css + ${CMAKE_SOURCE_DIR}/share/fancy.css + ${CMAKE_SOURCE_DIR}/share/fancy.min.css +- ${CMAKE_SOURCE_DIR}/share/LICENSE + ${CMAKE_SOURCE_DIR}/share/manifest + ${CMAKE_SOURCE_DIR}/share/pdf2htmlEX.js + ${CMAKE_SOURCE_DIR}/share/pdf2htmlEX.min.js |