From 594f1522d90a2381ed9de4a4ff68b92dddfbbf95 Mon Sep 17 00:00:00 2001 From: WebFreak001 Date: Fri, 20 Jan 2023 16:08:59 +0100 Subject: [PATCH] fix man page generator Will make the CI on this work again in a separate PR --- scripts/man/gen_man.d | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/scripts/man/gen_man.d b/scripts/man/gen_man.d index e789ebe16..3d4a12734 100755 --- a/scripts/man/gen_man.d +++ b/scripts/man/gen_man.d @@ -5,6 +5,7 @@ dependency "dub" path="../.." import std.algorithm, std.conv, std.format, std.path, std.range; import std.stdio : File; +import dub.internal.dyaml.stdsumtype; import dub.commandline; static struct Config @@ -266,7 +267,7 @@ struct ManWriter } if (larg !is null) { name ~= bold(escapeWord("--%s".format(larg))); - if (!arg.defaultValue.peek!bool) + if (arg.defaultValue.match!((bool b) => false, _ => true)) name ~= escapeWord("=") ~ italic("VALUE"); } writeArgName(cmdName, name);