diff options
| author | John MacFarlane <[email protected]> | 2019-09-15 10:52:39 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2019-09-22 13:45:41 -0700 |
| commit | c330b2f292899697ccc26b854f33ac9c22a8c716 (patch) | |
| tree | b60bfe2a30e5ec3dd9e3da1e74ec4c21ca3d6749 | |
| parent | 69613634c6e14b50aaf5b010f83e45ac54b0b4fe (diff) | |
More MANUAL updates.
| -rw-r--r-- | MANUAL.txt | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/MANUAL.txt b/MANUAL.txt index 0bb0ae017..5aaf09cbe 100644 --- a/MANUAL.txt +++ b/MANUAL.txt @@ -389,8 +389,11 @@ General options {.options} : Run in a sandbox that prevents all IO operations except: - reading files explicitly specified on the command line - (or *stdin*), writing to the output file (or *stdout*), - - writing warnings and error messages to *stderr*, + (or *stdin*), + - writing to the output file (or *stdout*), + - writing media files to the directory specified by + `--extract-media`, if used, + - writing warnings and error messages to *stderr*, - reading data files distributed with pandoc, - IO done by filters explicitly specified on the command line. |