$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.