#! /bin/sh
set -e
install-info --quiet --remove /usr/info/hexeditor.info.gz