Fix doc build

2024-06-09 16:10:26 -07:00
parent 702b6f3788
commit 3620c174a6
2 changed files with 7 additions and 7 deletions
@@ -30,8 +30,8 @@ if len(args) > 0:
                'git@github.com:fmtlib/fmt.dev.git', site_dir])
    if ret != 0:
      sys.exit(ret)
-    sys.exit(call(['mike', 'deploy', '--config-file', config_path,
-                   '--branch', 'master', 'dev'],
+    sys.exit(call(['mike'] + args + ['--config-file', config_path,
+                   '--branch', 'master'],
                  cwd=site_dir, env=env))
  elif not command.startswith('-'):
    args += ['-f', config_path]