HEVEA(1) General Commands Manual HEVEA(1)NAME
bibhva - A BibTeX wrapper for use with HeVeA
SYNOPSIS
bibhva [bibtex-options] <basename>
DESCRIPTION
This manual page documents briefly the bibhva command. This manual page was written for the Debian GNU/Linux distribution because the
original program does not have a manual page.
This command is a simple wrapper for calling bibtex for use with hevea. Calling bibhva basename runs bibtex on the input file base-
name.haux with output sent to the file basename.hbbl.
All options are forwarded to bibtex.
SEE ALSO bibtex(1), 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
Bibhva is written by Luc Maranget <Luc.Maranget@inria.fr>.
This manual page was written by Ralf Treinen <treinen@debian.org>.
HEVEA(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)