Lines Matching full:stdin
1240 @cindex @value{SSEDEXT}, @file{/dev/stdin} file
1247 As a @value{SSED} extension, the special value @file{/dev/stdin}
1451 @cindex @value{SSEDEXT}, @file{/dev/stdin} file
1458 As with the @code{r} command, the special value @file{/dev/stdin}
