* Just for the record: this is what has been used for building.
authorRichard Kreckel <Richard.Kreckel@uni-mainz.de>
Sat, 28 Apr 2001 22:02:15 +0000 (22:02 +0000)
committerRichard Kreckel <Richard.Kreckel@uni-mainz.de>
Sat, 28 Apr 2001 22:02:15 +0000 (22:02 +0000)
debian/libginac-dev.prerm [moved from debian/libginac-dev.postrm with 80% similarity]
debian/rules

similarity index 80%
rename from debian/libginac-dev.postrm
rename to debian/libginac-dev.prerm
index 665ea197e152494db428a2ba30569d781ea74ca4..b5c1daed8e8cee44f7f245011ba67c96f33e9e2d 100644 (file)
@@ -1,5 +1,4 @@
-#!/bin/sh
-set -e
+#!/bin/sh -e
 install-info --quiet --remove /usr/share/info/ginac.info
 
 #DEBHELPER#
index acaffa985c19b247c61d1ce9cb98453791872539..3a24dd81199d83e622d7e95b37f7dbb5e0c12b0b 100755 (executable)
@@ -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