From 4211d15cdbb3517985683488b3d3110bb513fb74 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E6=9D=8E=E9=80=9A=E6=B4=B2?= Date: Fri, 4 Apr 2025 19:12:01 +0800 Subject: [PATCH] Doc: fix CI errors (2) --- scripts/gen-man.py | 4 ---- 1 file changed, 4 deletions(-) diff --git a/scripts/gen-man.py b/scripts/gen-man.py index 98156d8bd..1976e1d3a 100755 --- a/scripts/gen-man.py +++ b/scripts/gen-man.py @@ -296,10 +296,6 @@ def main(): else: print(f" {option['remark']}") - # Add default value if available - if "arg" in keyList and "default" in option["arg"]: - print(f" Default: {option['arg']['default']}") - print()