From ba2c5f68fc180aee88096ca7b393ac544efa8e9a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20D=C3=A4schle?= Date: Tue, 17 Nov 2020 15:08:55 +0100 Subject: [PATCH] vdoc: trim trailing / (#6856) --- cmd/tools/vdoc.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cmd/tools/vdoc.v b/cmd/tools/vdoc.v index bbd0692dde..ead4b57b6d 100644 --- a/cmd/tools/vdoc.v +++ b/cmd/tools/vdoc.v @@ -1031,7 +1031,7 @@ fn main() { } is_path := cfg.input_path.ends_with('.v') || cfg.input_path.split(os.path_separator).len > 1 || cfg.input_path == '.' - if cfg.input_path == 'vlib' { + if cfg.input_path.trim_right('/') == 'vlib' { cfg.is_vlib = true cfg.is_multi = true cfg.input_path = os.join_path(vexe_path, 'vlib')