From 0c028137917bd5d2ad92a41d35bf553332e4ffe4 Mon Sep 17 00:00:00 2001
From: Victor Zverovich <viz@meta.com>
Date: Wed, 24 Jul 2024 13:40:54 -0700
Subject: [PATCH] Fix doc build

---
 support/mkdocs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/support/mkdocs b/support/mkdocs
index 8cec2a48..e554c1fd 100755
--- a/support/mkdocs
+++ b/support/mkdocs
@@ -61,7 +61,7 @@ if len(args) > 0:
     version = args[1]
     ret = call(['mike'] + args + ['--config-file', config_build_path,
                '--branch', 'master'], cwd=site_dir, env=env)
-    if ret != 0:
+    if ret != 0 or version == 'dev':
       sys.exit(ret)
     redirect_page_path = os.path.join(site_dir, version, 'api.html')
     with open(redirect_page_path, "w") as file: