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

Revision: r1.4 - 10 Feb 2004 - 20:23 - MerijnDeJonge
Tools > AboxToHtml
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback