summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2022-01-29 21:54:12 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2022-01-29 21:54:12 -0800
commit5e42189ddbcca5e18cfef1a2cb3dee85e6bd51fa (patch)
tree0bbc2d2f6657f2cbe991c6ac33342f19b0b703a6
parent9f4693d0030a2d46fbac0fe4062682b81434fcbf (diff)
Document `no-check-certificate` in defaults files.
See #7873.
-rw-r--r--MANUAL.txt4
1 files changed, 4 insertions, 0 deletions
diff --git a/MANUAL.txt b/MANUAL.txt
index 24d341685..7047bdf70 100644
--- a/MANUAL.txt
+++ b/MANUAL.txt
@@ -1823,6 +1823,10 @@ To include the built-in citeproc filter, use either `citeproc` or
| | - ["User-Agent", "Mozilla/5.0"] |
| ``` | ``` |
+----------------------------------+-----------------------------------+
+| ``` | ``` yaml |
+| --no-check-certificate | no-check-certificate: true |
+| ``` | ``` |
++----------------------------------+-----------------------------------+
## Options affecting specific writers