+-----------------------------------------------------------------------------+
|                                lineinterval                                 |
+-----------------------------------------------------------------------------+
 
Abbreviation:  �|\lint�%
 
Parameters:    �|interval�%
 
    �|Description:�%
When \printingnumbers{yes} and \countinglines{yes} have both been specified,
this markup is used to specify  when a line number is to be printed for line
numbering in the  margin of a document.   It need only  be specified once at
the top  of a document.   The  default is  every fifth line  counted will be
numbered.
 
    �|Example:�%
If you wanted every tenth line counted to be numbered, you would specify:
 
\lineinterval{10}
 
    �|Notes:�%
Line numbering  is only available  on the phototypesetter.    This markup is
ignored for all other printers.
    You  may specify  an interval  from 0-255.    Practically  speaking, you
should specify an interval from 1-150.