diff options
Diffstat (limited to 'doc/ref/scripts.texi')
-rw-r--r-- | doc/ref/scripts.texi | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/ref/scripts.texi b/doc/ref/scripts.texi index d8134deee..4a121e5fc 100644 --- a/doc/ref/scripts.texi +++ b/doc/ref/scripts.texi @@ -101,6 +101,7 @@ slow down execution. By default, the debugging evaluator is only used when entering an interactive session. When executing a script with @code{-s} or @code{-c}, the normal, faster evaluator is used by default. +@vnew{1.6} @item --no-debug Do not use the debugging evaluator, even when entering an interactive session. |