#! /bin/sh
install-info --quiet --remove REPLACE-WITH-NAME