From 5632e4a60cce0c3f7c83575b22584a84cd69b752 Mon Sep 17 00:00:00 2001
From: Daniel Cason <daniel.cason@informal.systems>
Date: Fri, 29 Sep 2023 10:08:00 +0200
Subject: [PATCH] Symlink on built website to support `/docs/` links

---
 Makefile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Makefile b/Makefile
index b6439af..1ee1bf5 100644
--- a/Makefile
+++ b/Makefile
@@ -44,6 +44,12 @@ build:
 	@rm -rf _site
 	@docker run -it --rm --volume ${PWD}:/srv/jekyll jekyll/builder:stable \
 		/bin/bash -c 'cd /srv/jekyll/ && bundle install && bundle exec jekyll build --future -V '
+	@while read -r branch output_path visible ; do \
+		ln -s . _site/$${output_path}/docs ; \
+	done < VERSIONS
+	@if [ "${LOCAL_DOCS_REPO}" ]; then \
+		ln -s . _site/dev/docs ; \
+	fi
 	@rm -rf _site/build
 .PHONY: build