HACHA(1) General Commands Manual HACHA(1)NAME
hacha - Chop hevea output files
SYNOPSIS
hacha [options] <htmlfile>
DESCRIPTION
This manual page documents briefly the hacha command. This manual page was written for the Debian GNU/Linux distribution because the orig-
inal program does not have a manual page.
Hacha is a program that allow to cut an html file produced with hevea into several html files.
OPTIONS
A summary of options are included below.
-v, Verbose flag
-o filename
make htmlcut output go into file filename (defaults to index.html)
-tocbis
Add small table of contents at the beginning of files.
-nolinks
Do not insert Previous/Up/Next links in generated pages.
-hrf Output a base.hrf file, showing in which output files are the anchors from the input file gone. The format of this summary is one
``anchor file'' line per anchor. This information may be needed by other tools.
-help Print version number and a short help message.
SEE ALSO hevea(1)
The HeVeA documentation can be found on the HeVeA home page
http://hevea.inria.fr. On a Debian system it can also be accessed at /usr/share/doc/hevea-doc/html or through the Debian help system,
provided the package hevea-doc is installed.
AUTHOR
Hacha is part of HeVeA, written by Luc Maranget <Luc.Maranget@inria.fr>.
This manual page was compiled by Ralf Treinen <treinen@debian.org> and Georges Mariano <Georges.Mariano@inrets.fr> from the HeVeA documen-
tation for the Debian GNU/Linux system (but may be used by others).
HACHA(1)
Check Out this Related Man Page
HEVEA(1) General Commands Manual HEVEA(1)NAME
hevea - A fast LaTeX to HTML translator
SYNOPSIS
hevea [options] <texfile>
DESCRIPTION
This manual page documents briefly the hevea command. This manual page was written for the Debian GNU/Linux distribution because the orig-
inal program does not have a manual page.
Using hevea it is possible to translate large documents written in LaTeX, such as manuals, books, etc., very quickly into HTML. All docu-
ments are translated as one single HTML file. The output file can be cut into smaller files, using the companion program hacha.
The Debian version of HeVeA differs from the original HeVeA distribution in that pictures are by default generated in the png format
instead of gif. The original behavior can be regained by feeding the following option to hevea:
gif.hva
and then invoke imagen with the -gif option.
OPTIONS
General Options
-version
Show hevea version and exit.
-v Verbose flag, can be repeated to increase verbosity.
-dv Add border around some of the block-level elements issued. Specifically, all DIV and P are bordered, while the structure of dis-
played material is also shown.
-s Suppress warnings.
-I dirname
Add dirname to the search path.
-o name
Make name the output basename. However, if name is base.html, then the output basename is base.
-e filename
Prevent hevea from loading any file whose name is filename. Note that this option applies to all files, including hevea.hva and base
style files.
-fix Iterate HeVeA until a fixpoint is found. Additionally, images get generated automatically.
-O Optimize HTML by calling esponja.
-exec prog
Execute file prog and read the output. The file prog must have execution permission and is searched by following the searching rules
of hevea.
-francais
Deprecated by babel support. This option issues a warning message.
-help Print version number and a short help message.
Options controlling the generation of HTML code
-entities
Render symbols by using entities. This is the default.
-textsymbols
Render symbols by English text.
-moreentities
Enable the output of some infrequent entities. Use this option to target browsers with wide entities support.
-mathml
Produces MathML output for equations, very experimental.
-pedantic
Be strict in interpreting HTMLdefinition. In particular, this option disable size and color changes inside <PRE>... </PRE>, which
are otherwise performed.
Options for alternative output formats
-text Output plain text. Output file extension is .txt.
-info Output info format. Output file extension is .info.
-w width
Set the line width for text or info output, defaults to 72.
SEE ALSO hacha(1), imagen(1), esponja(1).
The HeVeA documentation can be found on the HeVeA home page
http://hevea.inria.fr. On a Debian system it can also be accessed at /usr/share/doc/hevea-doc/html, provided the package hevea-doc (from
the non-free section) is installed.
AUTHOR
HeVeA is written by Luc Maranget <Luc.Maranget@inria.fr>.
This manual page was compiled by Ralf Treinen <treinen@debian.org> and Georges Mariano <Georges.Mariano@inrets.fr> from the HeVeA documen-
tation for the Debian GNU/Linux system (but may be used by others).
HEVEA(1)