#!/bin/sh -e # symlink management generated by debstd if [ \( "$1" = "upgrade" -o "$1" = "remove" \) -a -L /usr/doc/wavtools ]; then rm -f /usr/doc/wavtools fi