From 18ca6cec5a82241cc389bbf82742565e79d81ed8 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Sat, 10 Jun 2006 16:24:25 +0000
Subject: [PATCH] generate deps on the fly added dep on the stylesheets

---
 helm/software/matita/help/C/Makefile         | 14 +---
 helm/software/matita/help/C/matita-xhtml.xsl | 68 +++++++++++++++++++-
 2 files changed, 70 insertions(+), 12 deletions(-)

diff --git a/helm/software/matita/help/C/Makefile b/helm/software/matita/help/C/Makefile
index fd0e3844f..329473d06 100644
--- a/helm/software/matita/help/C/Makefile
+++ b/helm/software/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/helm/software/matita/help/C/matita-xhtml.xsl b/helm/software/matita/help/C/matita-xhtml.xsl
index eb7816397..e67b48973 100644
--- a/helm/software/matita/help/C/matita-xhtml.xsl
+++ b/helm/software/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>
+
-- 
2.39.2