From 9d36a5a3b095d0e4daeadd4f7c19490a4d4bed6a Mon Sep 17 00:00:00 2001
From: Victor Zverovich <victor.zverovich@gmail.com>
Date: Fri, 3 Jun 2016 08:11:24 -0700
Subject: [PATCH] Remove .doctrees

---
 support/update-website.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/support/update-website.py b/support/update-website.py
index c6470e05..04287e54 100755
--- a/support/update-website.py
+++ b/support/update-website.py
@@ -90,6 +90,7 @@ for version in ['1.0.0', '1.1.0', '2.0.0', '3.0.0']:
     include_dir = os.path.join(include_dir, 'fmt')
   build.build_docs(version, doc_dir=target_doc_dir,
                    include_dir=include_dir, work_dir=build_dir)
+  shutil.rmtree(os.path.join(html_dir, '.doctrees'))
   # Create symlinks for older versions.
   for link, target in {'index': 'contents', 'api': 'reference'}.items():
     link = os.path.join(html_dir, link) + '.html'