#!/bin/sh -e if [ "$1" = remove ]; then pkg=bibtool if [ -L /usr/doc/$pkg ]; then rm -f /usr/doc/$pkg; fi fi