1 files changed, 6 insertions, 0 deletions
diff --git a/cppawk.1 b/cppawk.1
index 4a70a17..9aed0b5 100644
--- a/cppawk.1
+++ b/cppawk.1
@@ -84,6 +84,12 @@ is then invoked on this file. The file is deleted when
 .B awk
 terminates.
 
+.IP "\fB\-\-nobash\fR"
+Pretend that the shell which executes
+.B cppawk
+isn't GNU Bash, even if it is. This has the effect of disabling
+the use of process substitution in favor of the use of a temporary file.
+
 .IP "\fB\-M\fR, \fB\--bignum\fR"
 These two equivalent GNU Awk options are passed through to
 .BR awk ,