From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 13 Jun 2006 10:00:50 +0000 (+0000)
Subject: updated some distributed stuff
X-Git-Tag: 0.4.95@7852~1335
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=832f2e5d4fb9618064437b8ec787df37004e78d9;p=helm.git

updated some distributed stuff
---

diff --git a/matita/AUTHORS b/matita/AUTHORS
index a2da427a5..2b999b173 100644
--- a/matita/AUTHORS
+++ b/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/matita/LICENSE b/matita/LICENSE
index 0b656db6d..9e2c40cfe 100644
--- a/matita/LICENSE
+++ b/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/matita/help/C/Makefile b/matita/help/C/Makefile
index 499b98570..71d1b5973 100644
--- a/matita/help/C/Makefile
+++ b/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