From: Richard Kreckel <Richard.Kreckel@uni-mainz.de>
Date: Sat, 28 Apr 2001 22:02:15 +0000 (+0000)
Subject: * Just for the record: this is what has been used for building.
X-Git-Tag: release_0-8-3~30
X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=commitdiff_plain;h=ece5f57b53603bea68161c946d26d58bb6d39aca

* Just for the record: this is what has been used for building.
---

diff --git a/debian/libginac-dev.postrm b/debian/libginac-dev.prerm
similarity index 80%
rename from debian/libginac-dev.postrm
rename to debian/libginac-dev.prerm
index 665ea197..b5c1daed 100644
--- a/debian/libginac-dev.postrm
+++ b/debian/libginac-dev.prerm
@@ -1,5 +1,4 @@
-#!/bin/sh
-set -e
+#!/bin/sh -e
 install-info --quiet --remove /usr/share/info/ginac.info
 
 #DEBHELPER#
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