From 614d94496efdcf960871429e1c090c56d2018f68 Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Fri, 15 Apr 2016 09:42:15 +0530
Subject: [PATCH] Make quotes in the cli docs not be curly

---
 manual/custom.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/manual/custom.py b/manual/custom.py
index c2be60d305..bd47df3873 100644
--- a/manual/custom.py
+++ b/manual/custom.py
@@ -196,6 +196,8 @@ def render_options(cmd, groups, options_header=True, add_program=True, header_le
                 y.get_opt_string())):
             help = opt.help if opt.help else ''
             help = help.replace('\n', ' ').replace('*', '\\*').replace('%default', str(opt.default))
+            help = help.replace('"', r'\ ``"``\ ')
+            help = help.replace("'", r"\ ``'``\ ")
             help = mark_options(help)
             opt = opt.get_opt_string() + ((', '+', '.join(opt._short_opts)) if opt._short_opts else '')
             opt = '.. option:: '+opt