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: