libretro-atari800/atari800/debian/prerm
2015-12-14 14:00:35 +01:00

8 lines
126 B
Bash

#!/bin/sh
set -e
if [ \( "$1" = "upgrade" -o "$1" = "remove" \) -a -L /usr/doc/atari800 ]; then
rm -f /usr/doc/atari800
fi