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.