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