From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 14 Nov 2001 13:47:57 +0000 (+0000)
Subject: Removed INSTALL (not needed) and NEWS (0 sized) from document list.
X-Git-Tag: mlminidom_0_2_2~90
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6043ea41066f06d23590d6f0c8d678898dbd1bd8;p=helm.git

Removed INSTALL (not needed) and NEWS (0 sized) from document list.
---

diff --git a/helm/helmpot/debian/docs b/helm/helmpot/debian/docs
index 1632cafb5..6f12db508 100644
--- a/helm/helmpot/debian/docs
+++ b/helm/helmpot/debian/docs
@@ -1,4 +1,2 @@
 AUTHORS
-INSTALL
-NEWS
 README