Remove travis config

2020-11-07 07:37:45 -08:00
parent 5b3052f999
commit dfbb6975b3
3 changed files with 0 additions and 33 deletions
--- a/support/build-docs.py
+++ b/support/build-docs.py
@ -12,13 +12,6 @@ def rmtree_if_exists(dir):
        if e.errno == errno.ENOENT:
            pass

-def makedirs_if_not_exist(dir):
-    try:
-        os.makedirs(dir)
-    except OSError as e:
-        if e.errno != errno.EEXIST:
-            raise
-
 def install_dependencies():
    branch = os.environ['GITHUB_REF']
    if branch != 'refs/heads/doc':