ten to a terminal. If the input data is not in a format
recognized by gzip, and if the option --stdout is also
given, copy the input data without change to the stan-
ten to a terminal. If the input data is not in a format
recognized by gzip, and if the option --stdout is also
given, copy the input data without change to the stan-