#!/bin/sh


if [ "$1" = "configure" ]; then
        if [ -d /usr/doc -a -h /usr/doc/doc-linux-html-pt -a -d /usr/share/doc/doc-linux-html-pt ]; then
                rm -f /usr/doc/doc-linux-html-pt
        fi
fi

#DEBHELPER#


