diff options
Diffstat (limited to '')
| -rwxr-xr-x | debian/rules | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules new file mode 100755 index 0000000..5163c8c --- /dev/null +++ b/debian/rules @@ -0,0 +1,16 @@ +#!/usr/bin/make -f + +export KBUILD_BUILD_TIMESTAMP = "@$(SOURCE_DATE_EPOCH)" + +%: + dh ${@} --buildsystem=meson --with python3 + +override_dh_auto_configure: + dh_auto_configure -- -Ddocs=man -Ddocs-build=true -Dpython=true -Dopenssl=enabled --default-library=both + +execute_after_dh_auto_install: + # remove empty manpages + find debian/tmp/usr/share/man -type f -empty -exec rm -f {} + + + # fix wrong-manual-section + sed -i -e 's| 9 | 2 |' debian/tmp/usr/share/man/*/*.2 |