]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/helmpot/debian/prerm.debhelper
This commit was manufactured by cvs2svn to create branch 'start'.
[helm.git] / helm / helmpot / debian / prerm.debhelper
diff --git a/helm/helmpot/debian/prerm.debhelper b/helm/helmpot/debian/prerm.debhelper
new file mode 100644 (file)
index 0000000..bb74e00
--- /dev/null
@@ -0,0 +1,5 @@
+# Automatically added by dh_installdocs
+if [ \( "$1" = "upgrade" -o "$1" = "remove" \) -a -L /usr/doc/helmpot ]; then
+       rm -f /usr/doc/helmpot
+fi
+# End automatically added section