X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=debian%2Frules;h=3a24dd81199d83e622d7e95b37f7dbb5e0c12b0b;hp=acaffa985c19b247c61d1ce9cb98453791872539;hb=ece5f57b53603bea68161c946d26d58bb6d39aca;hpb=550f941378f0ef36e7a7c3e5a5f8f7eaa93f60b5;ds=sidebyside

diff --git a/debian/rules b/debian/rules
index acaffa98..3a24dd81 100755
--- a/debian/rules
+++ b/debian/rules
@@ -32,6 +32,8 @@ binary-arch: build
 	$(MAKE) install prefix=`pwd`/debian/tmp/usr infodir=`pwd`/debian/tmp/usr/share/info mandir=`pwd`/debian/tmp/usr/share/man
 	# Work around dumb lintian error: binary-without-manpage ginaccint.bin
 	(cd `pwd`/debian/tmp/usr/share/man/man1; ln -s ginaccint.1.gz ginaccint.bin.1.gz)
+	# Automake generated Makefile.in do install-info, which is bad for us:
+	-rm -f `pwd`/debian/tmp/usr/share/info/dir*
 	dh_installdocs ChangeLog NEWS README
 	dh_installchangelogs
 	dh_installmenu