#!/bin/sh -e

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