diff --git a/Mac/Demo/using.html b/Mac/Demo/using.html index d3b5e8bf217..273ede2a16b 100644 --- a/Mac/Demo/using.html +++ b/Mac/Demo/using.html @@ -190,6 +190,12 @@
+
+Warning: redirecting standard input or standard output in the +command-line dialog does not work. This is due to circumstances beyond my +control, hence I cannot say when this will be fixed. ++ The default options are also settable on a system-wide basis, see the section on editing preferences.
@@ -374,7 +380,7 @@