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