From cbeb72d06b4eb3718479eba5257a33a385f642fe Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Wed, 12 Oct 2016 11:15:08 +0200
Subject: [PATCH] MANUAL: Made formatting of arguments with several options
 consistent.

---
 MANUAL.txt | 4 ++--
 1 file 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