From 9f4693d0030a2d46fbac0fe4062682b81434fcbf Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sat, 29 Jan 2022 21:51:30 -0800
Subject: [PATCH] Document 'sandbox' option for defaults files.

See #7873.
---
 MANUAL.txt | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/MANUAL.txt b/MANUAL.txt
index ae8ac1022..24d341685 100644
--- a/MANUAL.txt
+++ b/MANUAL.txt
@@ -1645,6 +1645,10 @@ stdin, and it can be an empty sequence `[]` for no input.
 | ```                              | ```                               |
 +----------------------------------+-----------------------------------+
 | ```                              | ``` yaml                          |
+| --sandbox                        | sandbox: true                     |
+| ```                              | ```                               |
++----------------------------------+-----------------------------------+
+| ```                              | ``` yaml                          |
 | --log=FILE                       | log-file: FILE                    |
 | ```                              | ```                               |
 +----------------------------------+-----------------------------------+