From ded921f0a27930fdb6854789273d6e19408d470c Mon Sep 17 00:00:00 2001 From: Victor Zverovich Date: Sun, 15 Apr 2018 10:34:04 -0700 Subject: [PATCH] Fix documentation build, take 2 --- support/travis-build.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/support/travis-build.py b/support/travis-build.py index 3ef09fa4..baefc1d4 100755 --- a/support/travis-build.py +++ b/support/travis-build.py @@ -2,7 +2,7 @@ # Build the project on Travis CI. from __future__ import print_function -import errno, os, re, shutil, sys, tempfile, urllib +import errno, os, re, shutil, subprocess, sys, tempfile, urllib from subprocess import call, check_call, check_output, Popen, PIPE, STDOUT def rmtree_if_exists(dir):