Editing output

== output == === standard output === === output to files === The [[awk]] programming language uses a system of named files, rather than numbered [[stream]]s for output channels. Output to a file is achieved by using [[redirection]] operators. Once [[redirection]] has been defined, the output file remains open until a [[close]] command is encountered, or the program ends.

Summary:

This change is a minor edit.

Username: