Fix gendocs ci

2023-09-03 09:59:38 +08:00 · 2023-09-03 09:59:38 +08:00 · d5cb9d4d1e
parent 692688accf
commit d5cb9d4d1e
1 changed files with 2 additions and 1 deletions
--- 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
 }