X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhelmpot%2Fdebian%2Fdocs;h=6f12db50845a5d0b754f308018aa900d35da548f;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=1632cafb555a71c8aefcb8a483a58231b1dbb4db;hpb=6137944a65baee76f7ab09a925e91e0edb3bdcce;p=helm.git

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