Merge pull request #126 from dpordomingo/shared-folder-rename

Rename .shared folder
src-d · Oct 17, 2017 · c2ec7ad · c2ec7ad
2 parents 7be1324 + eb0817a
commit c2ec7ad
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -4,3 +4,4 @@ benchmarks/output
 Makefile.main
 .shared
 .idea
+.docsrv-resources
diff --git 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);
-Original file line number
+Diff line change
@@ Expand Up / @@ -4,3 +4,4 @@ benchmarks/output @@
     Makefile.main
     .shared
     .idea
+    .docsrv-resources