]> matita.cs.unibo.it Git - helm.git/commitdiff
Removed temp files from repository.
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 14 Nov 2001 13:37:59 +0000 (13:37 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 14 Nov 2001 13:37:59 +0000 (13:37 +0000)
helm/helmpot/debian/files [deleted file]
helm/helmpot/debian/postinst.debhelper [deleted file]
helm/helmpot/debian/prerm.debhelper [deleted file]

diff --git a/helm/helmpot/debian/files b/helm/helmpot/debian/files
deleted file mode 100644 (file)
index ef3f006..0000000
+++ /dev/null
@@ -1 +0,0 @@
-helmpot_0.0.3-1_i386.deb unknown optional
diff --git a/helm/helmpot/debian/postinst.debhelper b/helm/helmpot/debian/postinst.debhelper
deleted file mode 100644 (file)
index ee14440..0000000
+++ /dev/null
@@ -1,7 +0,0 @@
-# Automatically added by dh_installdocs
-if [ "$1" = "configure" ]; then
-       if [ -d /usr/doc -a ! -e /usr/doc/helmpot -a -d /usr/share/doc/helmpot ]; then
-               ln -sf ../share/doc/helmpot /usr/doc/helmpot
-       fi
-fi
-# End automatically added section
diff --git a/helm/helmpot/debian/prerm.debhelper b/helm/helmpot/debian/prerm.debhelper
deleted file mode 100644 (file)
index bb74e00..0000000
+++ /dev/null
@@ -1,5 +0,0 @@
-# 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