diff options
author | Victor Zverovich <victor.zverovich@gmail.com> | 2018-05-26 07:02:49 -0700 |
---|---|---|
committer | Victor Zverovich <victor.zverovich@gmail.com> | 2018-05-26 07:02:49 -0700 |
commit | 6dcc526d5be660e28cbc89e945f73eaeb10ef4c0 (patch) | |
tree | 3b471852bc019169740f2416b245338804d62513 /support | |
parent | 5386f1df20392a08844f5034e8436c6ec7ce0b03 (diff) | |
download | fmtlib-6dcc526d5be660e28cbc89e945f73eaeb10ef4c0.tar.gz |
Update release script
Diffstat (limited to 'support')
-rwxr-xr-x | support/manage.py | 4 |
1 files changed, 3 insertions, 1 deletions
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, |