$verbatim-numbered-elements
$verbatim-numbered-elements — Verbatim environments that should be numbered.
Parameter:
{}verbatim-numbered-elements
Defined in:
param.xsl
Used in:
parameter-maps.xsl, modules/variable.xsl
Used by:
Synopsis
$verbatim-numbered-elements:='programlisting programlistingco'
Description
This parameter is a space-separated list of element names (local names). Verbatim elements that appear in this list will be formatted with line numbers. For a discussion of verbatim elements and styles, see Section 4.3, Verbatim styles.