From b492316d5da8ebccda3a39a17c0daa4dfadb66b7 Mon Sep 17 00:00:00 2001
From: Victor Zverovich <victor.zverovich@gmail.com>
Date: Sat, 1 Jul 2017 06:57:32 -0700
Subject: [PATCH] Update version list

---
 support/manage.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/support/manage.py b/support/manage.py
index 15d3fe2b..037d4878 100755
--- a/support/manage.py
+++ b/support/manage.py
@@ -113,7 +113,7 @@ def update_site(env):
     doc_repo = Git(os.path.join(env.build_dir, 'fmtlib.github.io'))
     doc_repo.update('git@github.com:fmtlib/fmtlib.github.io')
 
-    for version in ['1.0.0', '1.1.0', '2.0.0', '3.0.0']:
+    for version in ['1.0.0', '1.1.0', '2.0.0', '3.0.2', '4.0.0']:
         clean_checkout(env.fmt_repo, version)
         target_doc_dir = os.path.join(env.fmt_repo.dir, 'doc')
         # Remove the old theme.