From 86bb7fe614dfcd07f2356a65a1d995f48a226498 Mon Sep 17 00:00:00 2001
From: Victor Zverovich <victor.zverovich@gmail.com>
Date: Sun, 8 Nov 2020 05:55:49 -0800
Subject: [PATCH] Add a missing import

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

diff --git a/support/build-docs.py b/support/build-docs.py
index ade98dd4..70100ed4 100755
--- a/support/build-docs.py
+++ b/support/build-docs.py
@@ -3,7 +3,7 @@
 
 from __future__ import print_function
 import errno, os, shutil, subprocess, sys, urllib
-from subprocess import check_call, Popen, PIPE, STDOUT
+from subprocess import call, check_call, Popen, PIPE, STDOUT
 
 def rmtree_if_exists(dir):
     try: