From e3bf45929be542473fb5ff5e4a6fcee65dbfea74 Mon Sep 17 00:00:00 2001
From: Simon Quigley <simon@tsimonq2.net>
Date: Thu, 17 Oct 2019 10:47:44 -0500
Subject: [PATCH] This isn't bash, mark it as a shell command.

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

diff --git a/Makefile b/Makefile
index 015b3795..06587506 100644
--- a/Makefile
+++ b/Makefile
@@ -54,9 +54,9 @@ serverbuild:
 	#rm -rf ../webroot/pl/
 	#mv ../webroot/pl.tmp/ ../webroot/pl/
 
-	$(SPHINXBUILD) -b html $(ALLSPHINXOPTS) /srv/webroot/$(git rev-parse --abbrev-ref HEAD).tmp/
-	rm -rf /srv/webroot/$(git rev-parse --abbrev-ref HEAD)/
-	mv /srv/webroot/$(git rev-parse --abbrev-ref HEAD).tmp/ /srv/webroot/$(git rev-parse --abbrev-ref HEAD)/
+	$(SPHINXBUILD) -b html $(ALLSPHINXOPTS) /srv/webroot/$(shell git rev-parse --abbrev-ref HEAD).tmp/
+	rm -rf /srv/webroot/$(shell git rev-parse --abbrev-ref HEAD)/
+	mv /srv/webroot/$(shell git rev-parse --abbrev-ref HEAD).tmp/ /srv/webroot/$(shell git rev-parse --abbrev-ref HEAD)/
 
 .PHONY: clean
 clean: