X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxsl%2Fpublication.xsl;h=3bd290ec6a05208af637af0bdb841987498e8b5c;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=f994ad30b6035c976636e0475dc2d099b93dc195;hpb=aec0205f30e65b81519d0c1b103f24ca88cddf95;p=helm.git

diff --git a/helm/mowgli/home/xsl/publication.xsl b/helm/mowgli/home/xsl/publication.xsl
index f994ad30b..3bd290ec6 100644
--- a/helm/mowgli/home/xsl/publication.xsl
+++ b/helm/mowgli/home/xsl/publication.xsl
@@ -43,6 +43,9 @@
   </xsl:for-each>
  </h2>
  <p><xsl:value-of select="where"/></p>
+ <xsl:if test="html">
+  <p>Download: <a href="{html/@file}.html">[HTML]</a></p>
+ </xsl:if>
 </xsl:template>
 
 </xsl:stylesheet>