* Just for the record: this is what has been used for building.
[ginac.git] / debian / libginac-dev.prerm
1 #!/bin/sh -e
2 install-info --quiet --remove /usr/share/info/ginac.info
3
4 #DEBHELPER#