Chunking

Table of Contents

chunker.output.cdata-section-elements — List of elements to escape with CDATA sections

chunker.output.doctype-public — Public identifer to use in the document type of generated pages

chunker.output.doctype-system — System identifier to use for the document type in generated pages

chunker.output.encoding — Encoding used in generated pages

chunker.output.indent — Specification of indentation on generated pages

chunker.output.media-type — Media type to use in generated pages

chunker.output.method — Method used in generated pages

chunker.output.omit-xml-declaration — Omit-xml-declaration for generated pages

chunker.output.standalone — Standalone declaration for generated pages

saxon.character.representation — Saxon character representation used in generated HTML pages

html.ext — Identifies the extension of generated HTML files

use.id.as.filename — Use ID value of chunk elements as the filename?

html.extra.head.links — Toggle extra HTML head link information

root.filename — Identifies the name of the root HTML file when chunking

base.dir — The base directory of chunks

chunked.filename.prefix — Filename prefix for chunked files

generate.manifest — Generate a manifest file?

manifest — Name of manifest file

manifest.in.base.dir — Should the manifest file be written into base.dir?

chunk.toc — An explicit TOC to be used for chunking

chunk.tocs.and.lots — Should ToC and LoTs be in separate chunks?

chunk.separate.lots — Should each LoT be in its own separate chunk?

chunk.tocs.and.lots.has.title — Should ToC and LoTs in a separate chunks have title?

chunk.section.depth — Depth to which sections should be chunked

chunk.first.sections — Chunk the first top-level section?

chunk.quietly — Omit the chunked filename messages.

chunk.append — Specifies content to append to chunked HTML output

navig.graphics — Use graphics in navigational headers and footers?

navig.graphics.extension — Extension for navigational graphics

navig.graphics.path — Path to navigational graphics

navig.showtitles — Display titles in HTML headers and footers?