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

[ginac.git] / debian / libginac-dev.prerm

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 665ea197e152494db428a2ba30569d781ea74ca4..b5c1daed8e8cee44f7f245011ba67c96f33e9e2d 100644 (file)
--- 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#