view debian-build/mplayer.prerm.debhelper @ 12796:24075685789b

This fixes the problems that originated from my ewmh fs patch, caused by a different handling of the wm's ewmh fs implementations. Patch by Alexander Strasser
author rtognimp
date Sun, 11 Jul 2004 22:16:52 +0000
parents 33f43b0f24f7
children
line wrap: on
line source

# Automatically added by dh_installdocs
if [ \( "$1" = "upgrade" -o "$1" = "remove" \) -a -L /usr/doc/mplayer ]; then
	rm -f /usr/doc/mplayer
fi
# End automatically added section