]> matita.cs.unibo.it Git - helm.git/blob - helm/helmpot/debian/prerm.debhelper
projects / helm.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Initial revision
[helm.git] / helm / helmpot / debian / prerm.debhelper
1 # Automatically added by dh_installdocs
2 if [ \( "$1" = "upgrade" -o "$1" = "remove" \) -a -L /usr/doc/helmpot ]; then
3         rm -f /usr/doc/helmpot
4 fi
5 # End automatically added section
Unnamed repository; edit this file 'description' to name the repository.