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