From fc15af22490d563be3f66186e95dbbc02401f112 Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Thu, 30 Mar 2023 15:23:05 -0300
Subject: conf.env: Separate $HTML_OUTDIR into $HTML_OUTDIR_{OUT,CI}

---
 src/infrastructure/scripts/reconfigure.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/infrastructure/scripts')

diff --git a/src/infrastructure/scripts/reconfigure.sh b/src/infrastructure/scripts/reconfigure.sh
index ed3da6f..b11bc72 100755
--- a/src/infrastructure/scripts/reconfigure.sh
+++ b/src/infrastructure/scripts/reconfigure.sh
@@ -133,11 +133,11 @@ else
 	sudo -i guix system -c$NPROC -v3 reconfigure /etc/guix/system.scm
 
 	sudo -u deployer rsync \
+		--delete                  \
 		--chmod=D775,F664         \
 		--chown=deployer:deployer \
 		-a                        \
-		--exclude='dev/ci/*'      \
-		/run/current-system/profile/share/doc/"$NAME"/ "$HTML_OUTDIR"
+		/run/current-system/profile/share/doc/"$NAME"/ "$HTML_OUTDIR_TOP"/
 
 	deploy
 fi
-- 
cgit v1.2.3