debian/rules: Don't ship `/usr/share/info/dir.gz'.

[runlisp] / debian / rules

diff --git a/debian/rules b/debian/rules
index 881796298a308f89ee0bcd3eb7426fcdd76da609..269f8518b6707c81910f5c272d8a2b02428bc72e 100755 (executable)
--- a/debian/rules
+++ b/debian/rules
@@ -1,2 +1,9 @@
 #! /usr/bin/make -f
 #! /usr/bin/make -f

-%:; dh $@ --builddirectory=debian/build
+
+BUILDDIR = debian/build
+
+%:; dh $@ --builddirectory=$(BUILDDIR)
+
+override_dh_auto_install:
+       make -C$(BUILDDIR) install DESTDIR=../cfd/
+       rm -f debian/cfd/usr/share/info/dir