From b2475227a5604a0560db21eba4d463b0f8334c08 Mon Sep 17 00:00:00 2001
From: Mircea Colonescu <mircea@tendermint.com>
Date: Thu, 31 Oct 2019 16:33:15 -0400
Subject: [PATCH] added new version to docs (#4097)

---
 Makefile      | 7 ++++---
 docs/versions | 1 +
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 47b6438ce..6471b564d 100644
--- a/Makefile
+++ b/Makefile
@@ -159,9 +159,10 @@ DESTINATION = ./index.html.md
 build-docs:
 	@cd docs && \
 	while read p; do \
-		(git checkout $${p} && npm install && VUEPRESS_BASE="/docs/$${p}/" npm run build) ; \
-		mkdir -p ~/output/docs/$${p} ; \
-		cp -r .vuepress/dist/* ~/output/docs/$${p}/ ; \
+		(git checkout $${p} && npm install && VUEPRESS_BASE="/$${p}/" npm run build) ; \
+		mkdir -p ~/output/$${p} ; \
+		cp -r .vuepress/dist/* ~/output/$${p}/ ; \
+		echo "<a href='$${p}'>$${p}</a>" >> ~/output/index.html ; \
 	done < versions ;
 
 sync-docs:
diff --git a/docs/versions b/docs/versions
index 1f7391f92..03fca47dd 100644
--- a/docs/versions
+++ b/docs/versions
@@ -1 +1,2 @@
 master
+tags/v0.32.7