Node:$INPUT_LINE, Next:$KEYWORD, Previous:$INCR, Up:Built-in functions
$INPUT_LINE
: Line number that begins current section$INPUT_LINE
is the number of the line in the web
source file
that begins the current section (not the source line in which the
$INPUT_LINE
command appears). Compare $OUTPUT_LINE
,
$OUTPUT_LINE.