From 76a2e6debd428f2167e23c53900843d7623122f2 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 13 Jun 2006 10:00:50 +0000
Subject: [PATCH] updated some distributed stuff

---
 helm/software/matita/AUTHORS         | 1 +
 helm/software/matita/LICENSE         | 5 +++--
 helm/software/matita/help/C/Makefile | 2 +-
 3 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/helm/software/matita/AUTHORS b/helm/software/matita/AUTHORS
index a2da427a5..2b999b173 100644
--- a/helm/software/matita/AUTHORS
+++ b/helm/software/matita/AUTHORS
@@ -1,4 +1,5 @@
 Andrea Asperti <asperti@cs.unibo.it>
+Ferruccio Guidi <fguidi@cs.unibo.it>
 Luca Padovani <lpadovan@cs.unibo.it>
 Enrico Tassi <tassi@cs.unibo.it>
 Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
diff --git a/helm/software/matita/LICENSE b/helm/software/matita/LICENSE
index 0b656db6d..9e2c40cfe 100644
--- a/helm/software/matita/LICENSE
+++ b/helm/software/matita/LICENSE
@@ -16,8 +16,9 @@ GNU General Public License for more details.
 
 You should have received a copy of the GNU General Public License
 along with HELM; if not, write to the Free Software
-Foundation, Inc., 59 Temple Place - Suite 330, Boston,
-MA  02111-1307, USA.
+Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA
+02110-1301  USA
 
 For details, see the HELM World-Wide-Web page,
 http://helm.cs.unibo.it/
+
diff --git a/helm/software/matita/help/C/Makefile b/helm/software/matita/help/C/Makefile
index 499b98570..71d1b5973 100644
--- a/helm/software/matita/help/C/Makefile
+++ b/helm/software/matita/help/C/Makefile
@@ -46,7 +46,7 @@ txt-stamp: html-stamp
 	$(MAKE) $(TXTS)
 	touch $@
 %.txt: %.html
-	w3m -dump $< > $@
+	w3m -dump -no-graph $< > $@
 
 # PDF generation
 
-- 
2.39.2