From 6dcc526d5be660e28cbc89e945f73eaeb10ef4c0 Mon Sep 17 00:00:00 2001 From: Victor Zverovich Date: Sat, 26 May 2018 07:02:49 -0700 Subject: [PATCH] Update release script --- support/manage.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/support/manage.py b/support/manage.py index 6b2ceb09..6bf703fa 100755 --- a/support/manage.py +++ b/support/manage.py @@ -152,7 +152,9 @@ def update_site(env): if os.path.exists(html_dir): shutil.rmtree(html_dir) include_dir = env.fmt_repo.dir - if LooseVersion(version) >= LooseVersion('3.0.0'): + if LooseVersion(version) >= LooseVersion('5.0.0'): + include_dir = os.path.join(include_dir, 'include', 'fmt') + elif LooseVersion(version) >= LooseVersion('3.0.0'): include_dir = os.path.join(include_dir, 'fmt') import build build.build_docs(version, doc_dir=target_doc_dir,