]> www.ginac.de Git - ginac.git/blobdiff - debian/libginac-dev.postinst
Fixed wrong matching in .has()
[ginac.git] / debian / libginac-dev.postinst
index 668dbba3a0f58ca5ab806fe2a54043fd7d377059..c57db5d944e56f75c83d01037e6e39e613f324b4 100644 (file)
@@ -1,5 +1,8 @@
 #!/bin/sh
 set -e
-install-info --section Math Math -- /usr/share/info/ginac.info
+
+if [ "$1" = "configure" ]; then
+    install-info --quiet --section Math Math -- /usr/share/info/ginac.info
+fi
 
 #DEBHELPER#