* Remove timing for -O0, people really shouldn't use it.
[ginac.git] / debian / libginac-dev.postinst
1 #!/bin/sh
2 set -e
3 install-info --quiet --section Math Math -- /usr/share/info/ginac.info
4
5 #DEBHELPER#