"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>">
]>
<!-- =============Document Header ============================= -->
<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 -->
<!-- ============= Document Body ============================= -->
&intro;
+&install;
&terms;
&tactics;