summaryrefslogtreecommitdiff
path: root/MANUAL.txt
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2016-10-12 11:15:08 +0200
committerJohn MacFarlane <jgm@berkeley.edu>2016-10-12 11:15:08 +0200
commitcbeb72d06b4eb3718479eba5257a33a385f642fe (patch)
tree45981a1bce3f3f5c540fde12270087f11c7b4f9c /MANUAL.txt
parentced4032a35bb6cabd661de093d00bb3cc4d86125 (diff)
MANUAL: Made formatting of arguments with several options consistent.
Diffstat (limited to 'MANUAL.txt')
-rw-r--r--MANUAL.txt4
1 files changed, 2 insertions, 2 deletions
diff --git a/MANUAL.txt b/MANUAL.txt
index 7f354945a..4119d6e3e 100644
--- a/MANUAL.txt
+++ b/MANUAL.txt
@@ -538,7 +538,7 @@ General writer options
to inch/centimeters and vice versa. The default is 96dpi.
Technically, the correct term would be ppi (pixels per inch).
-`--wrap=[auto|none|preserve]`
+`--wrap=auto`|`none`|`preserve`
: Determine how text is wrapped in the output (the source
code, not the rendered version). With `auto` (the default),
@@ -647,7 +647,7 @@ Options affecting specific writers
placement of link references is affected by the
`--reference-location` option.
-`--reference-location = block` | `section` | `document`
+`--reference-location = block`|`section`|`document`
: Specify whether footnotes (and references, if `reference-links` is
set) are placed at the end of the current (top-level) block, the