From d5cb9d4d1e79b086317699df07555e5673138a8d Mon Sep 17 00:00:00 2001 From: halx99 Date: Sun, 3 Sep 2023 09:59:38 +0800 Subject: [PATCH] Fix gendocs ci --- tools/ci/gendocs.ps1 | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tools/ci/gendocs.ps1 b/tools/ci/gendocs.ps1 index 9ab14f42f0..c8c86ab765 100644 --- a/tools/ci/gendocs.ps1 +++ b/tools/ci/gendocs.ps1 @@ -26,10 +26,11 @@ function download_file($url, $out) { } function download_zip_expand($url, $out, $dest = $null) { - download_file $url $out if (!$dest) { $dest = $(Split-Path $out -Parent) } + mkdirs $dest + download_file $url $out Expand-Archive -Path $out -DestinationPath $dest }