#! /bin/sh -e

install-info --quiet --remove bashref

#DEBHELPER#