From 630e5899601c80e3de2ce3447e789d361590834e Mon Sep 17 00:00:00 2001
From: "Glenn Y. Rolland" <glenux@glenux.net>
Date: Wed, 15 Dec 2021 17:46:23 +0100
Subject: [PATCH] makefile: Fix pipenv parameters

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index ea3d079..1de8fc7 100755
--- a/Makefile
+++ b/Makefile
@@ -73,7 +73,7 @@ prepare-slides: ## install prerequisites for PDF slides only
 
 prepare-docs: ## install prerequisites for static docs site only
 	if [ "$(SYSTEM_INSTALL)" -eq 1 ]; then \
-		pipenv install --system ; \
+		pipenv install --deploy --system ; \
 	else \
 		pipenv install ; \
 	fi