dbhtml_linenumbering.everyNth — Specifies interval for line numbers in verbatims
<?dbhtml linenumbering.everyNth="N
"?>
Use the <?dbhtml linenumbering.everyNth?>
PI as a child
of a “verbatim” element – programlisting
,
screen
, synopsis
— to specify
the interval at which lines are numbered.