#!/bin/sh
install-info --quiet --remove /usr/info/gmp.info
