$verbatim-number-every-nth
$verbatim-number-every-nth — Line numbering frequency.
Parameter:
{}verbatim-number-every-nth
Defined in:
param.xsl
Used in:
param.xsl, modules/variable.xsl
Used by:
Synopsis
|$verbatim-number-every-nth := 5
Description
When formatting verbatim environments with line numbers,
every $verbatim-number-every-nth line is numbered.