diff options
author | 2013-05-12 00:44:41 -0700 | |
---|---|---|
committer | 2013-05-12 00:44:41 -0700 | |
commit | 47583877f1a7930407505970974e12f996bc3ff3 (patch) | |
tree | bedcfd488763ccc6b36b4e39487f4dc5245e33a9 | |
parent | 7abf6c71ad113affcfbb101c80e309d1aaa4bddb (diff) |
Doc fix where wrong file was referenced in an example
-rw-r--r-- | doc_src/index.hdr.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc_src/index.hdr.in b/doc_src/index.hdr.in index 6705aa41..23bdb4a2 100644 --- a/doc_src/index.hdr.in +++ b/doc_src/index.hdr.in @@ -163,7 +163,7 @@ Any file descriptor can be directed to a different output than its default through a simple mechanism called a redirection. An example of a file redirection is <code> echo hello \>output.txt</code>, -which directs the output of the echo command to the file error.txt. +which directs the output of the echo command to the file output.txt. - To redirect standard input, write <code>\<SOURCE_FILE</code> - To redirect standard output, write <code>\>DESTINATION</code> |