markup [-UTF8 | -UTF16BE | -UCS4] [-t file.mud | -z file.mud] [filename]
The markup tool reads mark-up from the named file (default standard input) and writes a sequence of corresponding UCS characters to its standard output. It is implemented as a script that chooses from separate programs depending on the setting of the MARKUP environment variable.
Mark-up of a specification should be processed by the section tool prior to processing by the markup tool. After processing by the markup tool, the UCS characters cannot be lexed until operator templates have been permuted by the optemp tool.
Specifies the encoding to use for the output UCS characters, default UTF8.
Assume that the input is a tactic, expressed using mark-up defined by the directives in file.mud.
Assume that the input is a Z formula, expressed using mark-up defined by the directives in file.mud.
specifies the processor architecture on which markup is to be executed. Unless you are accessing markup remotely in a heterogeneous computing network, the default is likely to be appropriate. Recognised values include irix6, solaris2 and i486.
names the directory in which CADiZ is installed. In particular, executables are kept in $CADIZ/mip/bin. If that directory is in your $PATH, then it is not necessary to set the CADIZ variable.
should be either latex or groff. This determines which mark-up markup assumes is used in its input. It defaults to groff.
The exit status of markup is
if no errors are detected in the entire specification,
if some errors are detected in the specification,
if markup detects something amiss with itself.
Section 7 of [Toyn02].