From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 14 Nov 2001 13:37:59 +0000 (+0000)
Subject: Removed temp files from repository.
X-Git-Tag: mlminidom_0_2_2~95
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f685b9e7c936bca06b98f373b12dec71a01a1875;p=helm.git

Removed temp files from repository.
---

diff --git a/helm/helmpot/debian/files b/helm/helmpot/debian/files
deleted file mode 100644
index ef3f006ab..000000000
--- a/helm/helmpot/debian/files
+++ /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
index ee14440c4..000000000
--- a/helm/helmpot/debian/postinst.debhelper
+++ /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
index bb74e00af..000000000
--- a/helm/helmpot/debian/prerm.debhelper
+++ /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