From 80aaf417d076d0585d04fc197633edd10447f507 Mon Sep 17 00:00:00 2001
From: Ludovic Rousseau <ludovic.rousseau@free.fr>
Date: Mon, 23 Sep 2024 19:07:10 +0200
Subject: [PATCH] Makefile: sync-docs target rebuilds the doc first

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

diff --git a/Makefile b/Makefile
index 1fc097cd..8d0ec4f3 100644
--- a/Makefile
+++ b/Makefile
@@ -31,7 +31,8 @@ ChangeLog.git:
 	git log --stat --decorate=short > $@
 
 .PHONY: sync-docs
-sync-docs:
+sync-docs: clean
+	$(TOX) -e docs
 	rsync \
 		--recursive --verbose --update --rsh=ssh --links \
 		build/docs/ \