- increased compatibility with RedHat's readline-4.2-1 package

[ginac.git] / debian / ginac-dev.postrm

diff --git a/debian/ginac-dev.postrm b/debian/ginac-dev.postrm
index 2f2ed42680af0bff1744bfad59691898f37da81d..665ea197e152494db428a2ba30569d781ea74ca4 100644 (file)
--- a/debian/ginac-dev.postrm
+++ b/debian/ginac-dev.postrm
@@ -1,5 +1,5 @@
 #!/bin/sh
 set -e
-install-info --remove /usr/share/info/ginac.info
+install-info --quiet --remove /usr/share/info/ginac.info
 
 #DEBHELPER#