diff options
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules new file mode 100755 index 00000000..dafe10f6 --- /dev/null +++ b/debian/rules @@ -0,0 +1,14 @@ +#!/usr/bin/make -f + +# Avoid using cabal, as it writes to $HOME +export CABAL=./Setup + +%: + dh $@ + +override_dh_auto_build: + $(MAKE) build +override_dh_installdocs: + dh_installdocs README.md TODO +override_dh_installman: + dh_installman debian/propellor.1 |
