From f18f5e0fbb09c6cca98a94e532ce76c63511baf8 Mon Sep 17 00:00:00 2001
From: Renken <renken@vermwa.re>
Date: Sun, 13 Mar 2022 08:06:04 +0100
Subject: [PATCH] deploy.sh: make doc before deploying

Also show rsync progress.
---
 deploy.sh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/deploy.sh b/deploy.sh
index 4849d35..6255854 100755
--- a/deploy.sh
+++ b/deploy.sh
@@ -1,3 +1,8 @@
 #!/bin/sh
 
-rsync -a --delete build/doc/html/ 'web@shione.vermwa.re:'
+set -eu
+
+cd -- build
+make doc
+rsync -a --delete --progress doc/html/ 'web@shione.vermwa.re:'
+cd -- ..