If @option{-use-tmp} option is specified, then @code{stdin} data is read
into temporary file first, requiring twice more disk space, but no
memory requirements. @ref{StdinTmpFile, Same temporary file} rules
If @option{-use-tmp} option is specified, then @code{stdin} data is read
into temporary file first, requiring twice more disk space, but no
memory requirements. @ref{StdinTmpFile, Same temporary file} rules