Output encoding

The following properties define the encoding used when actually writing the files.

property	value
html_out	Output encoding for html files. Can take any valid Java character encoding name
css_out	Output encoding for css files. Can take any valid Java character encoding name
index_out	Output encoding for index files. Can take any valid Java character encoding name.
toc_out	Output encoding for toc files. Can take any valid Java character encoding name
map_out	Output encoding for map files. Can take any valid Java character encoding name
hs_out	Output encoding for hs files. Can take any valid Java character encoding name

The following tags are written to the various files to define the encoding used. You must ensure that these are consistent with the encodings used above.

property

value

html_tag

Language tag for html files. e.g:

css_tag

Language tag for css files. e.g:

@charset \"UTF-8\";

index_tag

Language tag for index files. e.g:

<?xml version='1.0' encoding='ISO-8859-2' ?>

map_tag

Language tag for map files. e.g:

<?xml version='1.0' encoding='ISO-8859-2' ?>

hs_tag

Language tag for hs files. e.g:

<?xml version='1.0' encoding='ISO-8859-2' ?>

The following properties are written to the JavaHelp xml files to tell JavaHelp what language to use for the help.

property	value
index_lang	Language for the JavaHelp index. e.g. en
toc_lang	Language for the JavaHelp table of contents. e.g. en
map_lang	Language for the JavaHelp map file. e.g. en
hs_lang	Language for the JavaHelp help file. e.g. en