Put @code around `stdout' in comment.
authorroland <roland>
Mon, 19 Oct 1992 21:55:53 +0000 (21:55 +0000)
committerroland <roland>
Mon, 19 Oct 1992 21:55:53 +0000 (21:55 +0000)
manual/examples/pipe.c

index cf64189..054550f 100644 (file)
@@ -3,7 +3,7 @@
 #include <stdio.h>
 #include <stdlib.h>
 
-/* Read characters from the pipe and echo them to stdout.  */
+/* Read characters from the pipe and echo them to @code{stdout}.  */
 
 void 
 read_from_pipe (int file)