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