From f89e30b4f792260fe73c013aa18559bb2b85f3e4 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 7 Feb 2006 14:54:25 +0000
Subject: [PATCH] - moved version.txt.in to the help dir - added Makefile to
 generate xhtml and pdf from the docbook manual

---
 matita/help/C/Makefile                        | 12 +++++++++
 matita/help/C/matita.xml                      | 10 ++++---
 matita/help/C/sec_install.xml                 | 27 +++++++++++++++++++
 matita/help/C/{intro.xml => sec_intro.xml}    |  0
 .../help/C/{tactics.xml => sec_tactics.xml}   |  0
 matita/help/C/{terms.xml => sec_terms.xml}    |  0
 matita/{dist => help/C}/version.txt.in        |  0
 7 files changed, 45 insertions(+), 4 deletions(-)
 create mode 100644 matita/help/C/Makefile
 create mode 100644 matita/help/C/sec_install.xml
 rename matita/help/C/{intro.xml => sec_intro.xml} (100%)
 rename matita/help/C/{tactics.xml => sec_tactics.xml} (100%)
 rename matita/help/C/{terms.xml => sec_terms.xml} (100%)
 rename matita/{dist => help/C}/version.txt.in (100%)

diff --git a/matita/help/C/Makefile b/matita/help/C/Makefile
new file mode 100644
index 000000000..ad3ad6433
--- /dev/null
+++ b/matita/help/C/Makefile
@@ -0,0 +1,12 @@
+XSLTPROC=xsltproc
+XHTML_XSL=http://docbook.sourceforge.net/release/xsl/current/xhtml/docbook.xsl
+FO_XSL=http://docbook.sourceforge.net/release/xsl/current/fo/docbook.xsl
+all:
+%.html: %.xml
+	xsltproc $(XHTML_XSL) $< > $@
+%.fo: %.xml
+	xsltproc $(FO_XSL) $< > $@
+%.pdf: %.fo
+	fop $< $@
+clean:
+	rm -f *.html *.fo *.pdf
diff --git a/matita/help/C/matita.xml b/matita/help/C/matita.xml
index 97b58e572..a0da700e4 100644
--- a/matita/help/C/matita.xml
+++ b/matita/help/C/matita.xml
@@ -3,15 +3,16 @@
     "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">
 ]>
 
 <!-- =============Document Header ============================= -->
@@ -140,6 +141,7 @@
 <!-- ============= Document Body ============================= -->
 
 &intro;
+&install;
 &terms;
 &tactics;
 
diff --git a/matita/help/C/sec_install.xml b/matita/help/C/sec_install.xml
new file mode 100644
index 000000000..308bf02fa
--- /dev/null
+++ b/matita/help/C/sec_install.xml
@@ -0,0 +1,27 @@
+
+<!-- ============= Installation ============================== -->
+
+<sect1 id="sec_install">
+  <title>Installation</title>
+
+  <sect2>
+    <title>Installing &appname; from sources</title>
+
+    <para>Currently, the only intended way to install &appname; is starting
+      from its source code.  </para>
+
+    <sect3>
+      <title>Getting the source code</title>
+
+      <para>You can get the &appname; source code in two ways:
+	<orderedlist>
+	  <listitem> <para>foo</para> </listitem>
+	  <listitem> <para>bar</para> </listitem>
+	</orderedlist>
+      </para>
+      
+    </sect3>
+
+  </sect2>
+</sect1>
+
diff --git a/matita/help/C/intro.xml b/matita/help/C/sec_intro.xml
similarity index 100%
rename from matita/help/C/intro.xml
rename to matita/help/C/sec_intro.xml
diff --git a/matita/help/C/tactics.xml b/matita/help/C/sec_tactics.xml
similarity index 100%
rename from matita/help/C/tactics.xml
rename to matita/help/C/sec_tactics.xml
diff --git a/matita/help/C/terms.xml b/matita/help/C/sec_terms.xml
similarity index 100%
rename from matita/help/C/terms.xml
rename to matita/help/C/sec_terms.xml
diff --git a/matita/dist/version.txt.in b/matita/help/C/version.txt.in
similarity index 100%
rename from matita/dist/version.txt.in
rename to matita/help/C/version.txt.in
-- 
2.39.2