New option --title to set an individual string for page header (instead of the filename/"stdin")
Log in to post a comment.