generate.revhistory.link — Write revhistory to separate chunk and generate link?
If non-zero, the contents of revhistory are written
to a separate HTML file and a link to the file is
generated. Otherwise, revhistory contents are rendered on
the title page.
The name of the separate HTML file is computed as follows:
If a filename is given by the <?dbhtml filename?> processing instruction,
that filename is used.
If the revhistory has an id/xml:id
attribute, and if use.id.as.filename != 0, the filename is the concatenation of
the id value and the value of the html.ext parameter.
If the revhistory does not have an id/xml:id
attribute, or if use.id.as.filename = 0, the filename is the concatenation of "rh-",
auto-generated id value, and html.ext value.