summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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