Prints page headers at the top of each page. The header indicates the date and time of printing, the name of the file, and the page number. Normally Print uses the same font for headers as it uses for the rest of the file. Normally Print uses the same font size for headers as it uses for the rest of the file. Prints up to a maximum of n lines per page.
Line spacing is adjusted so that the full page is used.
This gives the appropriate margin width for three-hole punched pages. Fractional values are permitted. Prints the file's modification date, rather than the date and time of printing, in the header. To use this option you must also specify -h . Numbers lines, placing the numbers to the left of the printed text.