[m-rev.] for review: add a stylesheet to convert 234 trees to HTML

[Ian MacLarty]

On Wed, 29 Jun 2005, Ian MacLarty wrote:

> For review by anyone.
>
> Estimated hours taken: 1
> Branches: main
>
> Add an XSLT style sheet to convert 234 trees to HTML tables.
>

I've also updated the user guide with a link to where xsltproc can be
obtained (this was requested by Zoltan some time ago).

Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.439
diff -u -r1.439 user_guide.texi
--- doc/user_guide.texi	17 Jun 2005 10:13:55 -0000	1.439
+++ doc/user_guide.texi	29 Jun 2005 08:33:28 -0000
@@ -3580,8 +3580,10 @@
 @item
 @samp{xml_browser_cmd} is the shell command(s) used to invoke your XML browser.
 If you want a stylesheet to be applied to the XML before the browser is invoked
-then you should do that in this command using the appropriate program (such as
-xsltproc).  By default if xsltproc and mozilla (or firefox) are available,
+then you should do that in this command using the appropriate program
+(such as xsltproc, which comes with libxslt and is available from
+http://xmlsoft.org/XSLT/).
+By default if xsltproc and mozilla (or firefox) are available,
 xsltproc is invoked to apply the xul_tree.xsl stylesheet in
 extras/xml_stylesheets, then mozilla is invoked on the resulting XUL file.
 @sp 1

Ian.

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------