generate deps on the fly

added dep on the stylesheets

diff --git a/matita/help/C/Makefile b/matita/help/C/Makefile
index fd0e3844f43d8302affa6c65cdd6baf6a0cd1900..329473d06e0d0da4896eb07dc080b326db490f44 100644 (file)
--- a/matita/help/C/Makefile
+++ b/matita/help/C/Makefile
@@ -8,16 +8,7 @@ TEX_XSL=matita-tex.xsl
 TEX_UNICODE_PATH=$(SRCROOT)/share/texmf/unicode
 TEX_ENV=TEXINPUTS=.:$(TEX_UNICODE_PATH):$(TEX_UNICODE_PATH)/data:
 MAIN=matita.xml
-DEPENDENCES = \
-       legal.xml \
-       sec_install.xml \
-       sec_gettingstarted.xml \
-       sec_intro.xml \
-       sec_terms.xml \
-       sec_tactics.xml \
-       sec_tacticals.xml \
-       sec_commands.xml \
-       sec_usernotation.xml
+DEPS := $(wildcard *.xml)
 
 # one of: "fop", "pdflatex"
 PDF_METHOD=pdflatex
@@ -42,7 +33,7 @@ test:
 
 .PHONY: html
 html: html-stamp
-html-stamp: $(MAIN) $(DEPENDENCES)
+html-stamp: $(MAIN) $(DEPS) $(XHTML_XSL)
        xsltproc $(XHTML_XSL) $<
        touch $@
 
@@ -88,3 +79,4 @@ endif
 
 .PRECIOUS: matita.tex
 
+

diff --git a/matita/help/C/matita-xhtml.xsl b/matita/help/C/matita-xhtml.xsl
index eb781639738036ca2e31463bdc817b88b2aa7174..e67b4897331a47aaa1095be8ec39aff51116542c 100644 (file)
--- a/matita/help/C/matita-xhtml.xsl
+++ b/matita/help/C/matita-xhtml.xsl
@@ -1,6 +1,72 @@
 <?xml version="1.0" encoding="utf-8"?>
+
 <xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform" version="1.0">
+
   <xsl:import href="http://docbook.sourceforge.net/release/xsl/current/xhtml/chunk.xsl"/>
   <xsl:output method="xml" encoding="utf-8" indent="yes"/>
-  <xsl:param name="use.id.as.filename">1</xsl:param>
+
+  <xsl:param name="use.id.as.filename" select="1" />
+  <xsl:param name="html.stylesheet">docbook.css</xsl:param>
+  <!--
+  <xsl:param name="header.rule" select="0" />
+  <xsl:param name="footer.rule" select="0" />
+  -->
+
+  <!-- more quiet output of author information -->
+
+  <xsl:template match="authorgroup" mode="titlepage.mode">
+    <ul class="authorgroup">
+      <xsl:apply-templates mode="matita.manual.mode" />
+    </ul>
+  </xsl:template>
+  <xsl:template match="author" mode="matita.manual.mode">
+    <li class="author">
+      <xsl:value-of select="firstname" />
+      <xsl:text> </xsl:text>
+      <xsl:value-of select="surname" />
+      <xsl:text> &lt;</xsl:text>
+      <xsl:element name="a">
+       <xsl:attribute name="href">
+         <xsl:text>mailto:</xsl:text>
+         <xsl:value-of select="affiliation/address/email" />
+       </xsl:attribute>
+       <xsl:value-of select="affiliation/address/email" />
+      </xsl:element>
+      <xsl:text>&gt;</xsl:text>
+    </li>
+  </xsl:template>
+
+  <!-- only print the latest revision instead of all of them -->
+  <!-- XXX ZACK: right now it just assumes that only one revision does exist -->
+
+  <xsl:template match="revhistory" mode="titlepage.mode">
+    <div class="revhistory">
+      <xsl:apply-templates mode="matita.manual.mode" />
+    </div>
+  </xsl:template>
+  <xsl:template match="revision" mode="matita.manual.mode">
+    <span class="revision">
+      <xsl:text>Revision: </xsl:text>
+      <span class="revnumber">
+       <xsl:value-of select="revnumber" />
+      </span>
+      <xsl:text>, </xsl:text>
+      <span class="date">
+       <xsl:value-of select="date" />
+      </span>
+    </span>
+  </xsl:template>
+
+  <!-- Matita logo on the top left corner -->
+
+  <xsl:template name="user.header.navigation">
+    <a href="../../">
+      <div class="matita_logo">
+       <img src="../../images/matita-tiny.png" alt="Tiny Matita logo" />
+       <span>Matita Home</span>
+      </div>
+    </a>
+  </xsl:template>
+
 </xsl:stylesheet>
+