diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/make.texi | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/make.texi b/doc/make.texi index 975f0b37..169f8fa0 100644 --- a/doc/make.texi +++ b/doc/make.texi @@ -8595,6 +8595,10 @@ By default, the above messages are not enabled while trying to remake the makefiles. This option enables messages while rebuilding makefiles, too. Note that the @samp{all} option does enable this option. This option also enables @samp{basic} messages. + +@item n (@i{none}) +Disable all debugging currently enabled. If additional debugging +flags are encountered after this they will still take effect. @end table @item -e |