factorized legal stuff like other chapters

diff --git a/matita/help/C/legal.xml b/matita/help/C/legal.xml
index d457ff463ec66c0833c6102ea4392f6a9c69c6e7..115ae002d083b2bb551312a1e327f34e2eb313ac 100644 (file)
--- a/matita/help/C/legal.xml
+++ b/matita/help/C/legal.xml
@@ -1,19 +1,20 @@
-<para> This file is part of HELM, an Hypertextual, Electronic Library of
-  Mathematics, developed at the Computer Science Department, University of
-  Bologna, Italy.  </para>
+<para> Both &appname; and this document are part of HELM, an Hypertextual,
+  Electronic Library of Mathematics, developed at the Computer Science
+  Department, University of Bologna, Italy. </para>
 
 <para> HELM is free software; you can redistribute it and/or modify it under
-  the terms of the GNU General Public License as published by the Free
-  Software Foundation; either version 2 of the License, or (at your option)
-  any later version.  </para>
+  the terms of the GNU General Public License as published by the Free Software
+  Foundation; either version 2 of the License, or (at your option) any later
+  version.  </para>
 
-<para> HELM is distributed in the hope that it will be useful, but WITHOUT
-  ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
-  FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
-  more details.  </para>
+<para> HELM is distributed in the hope that it will be useful, but WITHOUT ANY
+  WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR
+  A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
+</para>
+
+<para> You should have received a copy of the GNU General Public License along
+  with HELM; if not, write to the Free Software Foundation, Inc., 51 Franklin
+  St, Fifth Floor, Boston, MA  02110-1301  USA.  A copy of the GNU General
+  Public License is available at <ulink
+    url="http://www.gnu.org/copyleft/gpl.html">this link</ulink>. </para>
 
-<para> 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. A copy of the GNU
-  General Public License is available at <ulink type="help"
-    url="ghelp:gpl">this link</ulink>. </para>

diff --git a/matita/help/C/sec_license.xml b/matita/help/C/sec_license.xml
new file mode 100644 (file)
index 0000000..47e1461
--- /dev/null
+++ b/matita/help/C/sec_license.xml
@@ -0,0 +1,8 @@
+
+<!-- ============= Application License ============================= -->
+
+<chapter id="sec_license">
+  <title>License</title>
+  &legal;
+</chapter>
+