From b1b37507a96caaab41b8fcdc1e8b9c0ed4a24a64 Mon Sep 17 00:00:00 2001
From: Dominique Orban <dominique.orban@gmail.com>
Date: Sat, 2 Mar 2019 15:04:50 -0500
Subject: [PATCH] build tags and ignore docs build

---
 .gitignore  | 2 ++
 .travis.yml | 1 +
 2 files changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index a6d52873..4956d89f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,3 +5,5 @@
 *.jl.*.cov
 *.jl.mem
 deps/deps.jl
+deps/build.log
+docs/build
diff --git a/.travis.yml b/.travis.yml
index 04e9aac2..6b8006b6 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -18,6 +18,7 @@ matrix:
 branches:
   only:
     - master
+    - /^v\d+\.\d+(\.\d+)?(-\S*)?$/ # tags
 
 before_install:
   - unset DYLD_LIBRARY_PATH