summaryrefslogtreecommitdiff
path: root/debian/rules
diff options
context:
space:
mode:
authorGard Spreemann <gspr@nonempty.org>2022-08-17 14:54:00 +0200
committerGard Spreemann <gspr@nonempty.org>2022-08-17 14:54:00 +0200
commit8d3659e61e1176546f2c8797921b75d67e7f6b96 (patch)
tree85455c14d392ccbbd8dd7e7d71106fac4cc669c5 /debian/rules
parent492b76d7cb34b6a20739cc0ce05fb0970cd5eb20 (diff)
Miniball dropped upstream
Diffstat (limited to 'debian/rules')
-rwxr-xr-xdebian/rules4
1 files changed, 0 insertions, 4 deletions
diff --git a/debian/rules b/debian/rules
index ae189c06..f4dead2b 100755
--- a/debian/rules
+++ b/debian/rules
@@ -119,10 +119,6 @@ override_dh_auto_install-arch:
override_dh_auto_install-indep:
find src -type f -path '*/example/*' \( -name '*.cpp' -o \( -name '*.txt' -a ! -iname 'cmake*' \) \) -exec sh -c 'name=$$(echo $$0 | sed s/src\\/// | sed s/example\\///); install -D -m 644 $$0 debian/tmp/usr/share/doc/libgudhi-examples/$$name' {} \;
- # Remove installed information about Miniball header.
- rm build/userversion/include/gudhi/Miniball.COPYRIGHT
- rm build/userversion/include/gudhi/Miniball.README
-
override_dh_compress:
dh_compress -X.cpp