Lines Matching full:stdin
1239 @cindex @value{SSEDEXT}, @file{/dev/stdin} file
1246 As a @value{SSED} extension, the special value @file{/dev/stdin}
1450 @cindex @value{SSEDEXT}, @file{/dev/stdin} file
1457 As with the @code{r} command, the special value @file{/dev/stdin}
