reverted last change: function_index_* ist not necessarily in namespace GiNaC
[ginac.git] / debian / postinst
1 #!/bin/sh
2 set -e
3 if [ "$1" = "configure" ]; then
4   ldconfig
5 fi
6 #DEBHELPER#