Use .docsrv-resources instead of .shared foldername to avoid problems with Travis and sbt

Signed-off-by: David Pordomingo <David.Pordomingo.F@gmail.com>
This commit is contained in:
David Pordomingo 2017-10-17 07:07:08 +02:00
parent 7be1324529
commit eb0817ad9a
No known key found for this signature in database
GPG Key ID: 7E90B085DAA1F676
2 changed files with 2 additions and 1 deletions

1
.gitignore vendored
View File

@ -4,3 +4,4 @@ benchmarks/output
Makefile.main
.shared
.idea
.docsrv-resources

View File

@ -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);