#! /bin/sh
install-info --quiet --remove debian-faq
