Abox To Html
XT -- A Bundle of Program Transformation Tools
Name
abox2html
Synopsis
abox2html [-c] [-i box-term] [-o html-file] [-t title]
Description
The utility abox2html produces an HTML file according to the formatting defined in
box-term.
Options
- -c
- Generate cascading style sheet. The HTML code requirers a cascading style sheet (named `box2html.css') which contains specific formatting information. An initial style-sheet can be obtained by specifying the `-c' option to box2html. This style-sheet can be modified manually to customize the appearance of the HTML code in your web-browser.
- -h
- display usage information. Use this option to get information on additional options
- -t <title>
- Specify title of html page
- -v
- display version information
See also
GenericPrettyPrinter,
AstToAbox?,
HowToPrettyPrintAGrammar
Tools.AboxToHtml moved from Tools.box2htmlGPP on 10 Feb 2004 - 09:05 by MartinBravenboer -
put it back