summaryrefslogtreecommitdiff
path: root/debian/prerm
blob: b033806c4acf4f2d46a59a9b0e3f66ae0d814c52 (plain)
1
2
3
#!/bin/sh -e

install-info --quiet --remove /usr/share/info/mach.info