From eb0817ad9afd26f1561b45f01767863580348808 Mon Sep 17 00:00:00 2001
From: David Pordomingo <David.Pordomingo.F@gmail.com>
Date: Tue, 17 Oct 2017 07:07:08 +0200
Subject: [PATCH] Use .docsrv-resources instead of .shared foldername to avoid
 problems with Travis and sbt

Signed-off-by: David Pordomingo <David.Pordomingo.F@gmail.com>
---
 .gitignore | 1 +
 Makefile   | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index b795447..57b21f4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,3 +4,4 @@ benchmarks/output
 Makefile.main
 .shared
 .idea
+.docsrv-resources
\ No newline at end of file
diff --git a/Makefile b/Makefile
index 7ea4c9f..724a142 100644
--- a/Makefile
+++ b/Makefile
@@ -15,7 +15,7 @@ $(MAKEFILE):
 LANGUAGES = go
 # Docs: do not edit this
 DOCS_REPOSITORY := https://github.com/src-d/docs
-SHARED_PATH ?= $(shell pwd)/.shared
+SHARED_PATH ?= $(shell pwd)/.docsrv-resources
 DOCS_PATH ?= $(SHARED_PATH)/.docs
 $(DOCS_PATH)/Makefile.inc:
 	git clone --quiet --depth 1 $(DOCS_REPOSITORY) $(DOCS_PATH);