chiark / gitweb /
remove some obsolete source-depends stuff
[developers-reference.git] / debian / prerm
1 #!/bin/sh
2
3 if [ "$1" = "remove" -o "$1" = "upgrade" ]; then
4   if command -v install-docs >/dev/null 2>&1; then
5     install-docs -r developers-reference
6   fi
7   if [ -L /usr/doc/developers-reference ]; then
8     rm -f /usr/doc/developers-reference
9   fi
10 fi
11
12 exit 0