<?xml version="1.0"?>
-<!DOCTYPE article PUBLIC "-//OASIS//DTD DocBook XML V4.1.2//EN"
- "http://www.oasis-open.org/docbook/xml/4.1.2/docbookx.dtd" [
+<!DOCTYPE book PUBLIC "-//OASIS//DTD DocBook XML V4.1.2//EN"
+"http://www.oasis-open.org/docbook/xml/4.1.2/docbookx.dtd" [
<!ENTITY license SYSTEM "legal.xml">
- <!ENTITY intro SYSTEM "intro.xml">
- <!ENTITY terms SYSTEM "terms.xml">
- <!ENTITY tactics SYSTEM "tactics.xml">
+ <!ENTITY install SYSTEM "sec_install.xml">
+ <!ENTITY intro SYSTEM "sec_intro.xml">
+ <!ENTITY terms SYSTEM "sec_terms.xml">
+ <!ENTITY tactics SYSTEM "sec_tactics.xml">
<!ENTITY manrevision "0">
<!ENTITY date "February 2006">
<!ENTITY app "<application>Matita</application>">
<!ENTITY appname "Matita">
- <!ENTITY appversion SYSTEM "../../dist/version.txt">
+ <!ENTITY appversion SYSTEM "version.txt">
+
+ <!ENTITY TODO "<emphasis>TODO</emphasis>">
+ <!ENTITY MYSQL "<application> <ulink type='http'
+ url='http://www.mysql.com'>MySQL</ulink> </application>">
]>
-<!-- =============Document Header ============================= -->
-<article id="index" lang="en">
+<?yelp:chunk-depth 3?>
+
+<book id="matita_manual" lang="en">
<!-- please do not change the id; for translations, change lang to -->
<!-- appropriate code -->
-<articleinfo>
- <title>&app; V&appversion; Manual (rev. &manrevision;)</title>
+<title>&app; V&appversion; Manual (rev. &manrevision;)</title>
+<bookinfo>
<copyright>
<year>2006</year>
</publisher>
-->
- <legalnotice>
- &license;
- </legalnotice>
-
<authorgroup>
<author>
<firstname>Andrea</firstname>
</revdescription>
</revision>
<revision>
- <revnumber>0.0</revnumber>
+ <revnumber>&manrevision;</revnumber>
<date>4 February 2006</date>
<authorinitials>HELM</authorinitials>
<revremark>
<releaseinfo>This manual describes version &appversion; of &appname;.
</releaseinfo>
+
+ <legalnotice>
+ &license;
+ </legalnotice>
+
<!-- The following feedback information only applies to appliactions
listed in bugzilla.gnome.org and bugzilla.ximian.com. For other
applications, please provide your own feedback info or remove thsi
<title>Feedback</title>
<para>To report a bug or make a suggestion regarding the &app;
application or this manual, follow the directions in the
- <ulink url="http://bugs.mowgli.cs.unibo.it" type="help">HELM Bug
+ <ulink url="http://bugs.mowgli.cs.unibo.it" type="http">HELM Bug
Tracking System Page</ulink>.
</para>
<!-- Translators may also add here feedback address for translations -->
</legalnotice>
-</articleinfo>
-
- <indexterm zone="index">
- <primary>Matita</primary>
- </indexterm>
+</bookinfo>
<!-- ============= Document Body ============================= -->
&intro;
+&install;
&terms;
&tactics;
<!-- ============= Application License ============================= -->
- <sect1 id="license">
+ <chapter id="sec_license">
<title>License</title>
&license;
- </sect1>
-</article>
+ </chapter>
+</book>
<!-- CSC: valid element tags
<sect1 id="intro"> <title>Introduction</title> ...