view debian-build/postrm @ 10187:f4e0b637ffc5

/usr/local/lib/codecs is now the default codecs directory.
author diego
date Sun, 25 May 2003 19:31:21 +0000
parents 33f43b0f24f7
children
line wrap: on
line source

#!/bin/sh

set -e

if [ "$1" = "purge" ]; then
  if [ -d /etc/mplayer/ ]; then
    rm -rf /etc/mplayer/
  fi
fi