From a1fbe0247a8794340dda257e2202de89e00df1b4 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Wed, 22 Jan 2020 05:47:35 -0800
Subject: [PATCH] ;make site: regenerate web manuals first

[ci skip]
---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index adba02c55..d0c410006 100644
--- a/Makefile
+++ b/Makefile
@@ -754,6 +754,7 @@ site: \
 		&& echo 'Please run "make Shake" first (manual compilation of Shake.hs is required)' \
 		|| ( \
 			echo; \
+			./Shake -V webmanuals; \
 			make -C site html; \
 		) 2>&1 | tee -a site.log