The GNU Awk User's Guide: Getline/File

Use ' getline < file ' to read the next record from file . Here file is a string-valued expression that specifies the file name. ' < file ' is called a redirection because it ...

www.gnu.org