doc/gendoc.py
changeset 46516 921e1253c8ba
parent 45830 c102b704edb5
child 46517 eb36f7a71291
--- a/doc/gendoc.py	Wed Feb 10 09:49:50 2021 -0800
+++ b/doc/gendoc.py	Fri Feb 12 11:04:03 2021 -0800
@@ -31,6 +31,7 @@
     commands,
     encoding,
     extensions,
+    fancyopts,
     help,
     minirst,
     pycompat,
@@ -86,6 +87,8 @@
         if b'\n' in desc:
             # only remove line breaks and indentation
             desc = b' '.join(l.lstrip() for l in desc.split(b'\n'))
+        if isinstance(default, fancyopts.customopt):
+            default = default.getdefaultvalue()
         if default:
             default = stringutil.forcebytestr(default)
             desc += _(b" (default: %s)") % default