X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=debian%2Fginac-dev.postrm;h=665ea197e152494db428a2ba30569d781ea74ca4;hp=2f2ed42680af0bff1744bfad59691898f37da81d;hb=ece5f57b53603bea68161c946d26d58bb6d39aca;hpb=670a4e51f43eeea6a8c328f103aea61fbe0b27a1

diff --git a/debian/ginac-dev.postrm b/debian/ginac-dev.postrm
index 2f2ed426..665ea197 100644
--- 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#