commit 980bf7b5a053b48bab7ecd2f5efe95ec6831bf2d
parent 691b66a965eb6319e74c6af146133f28a7da21d2
Author: Vincent Forest <vincent.forest@meso-star.com>
Date: Fri, 18 Feb 2022 16:14:39 +0100
stardis: fix the publish Makefile target
Diffstat:
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/stardis/Makefile b/stardis/Makefile
@@ -91,13 +91,13 @@ clean:
$(HTML) \
$(HTML:=.err)
-publish:
- rsync -avzr \
+publish: build
+ rsync -avzrR --delete-after \
$(HTML) \
$(OVERVIEW_IMG) \
$(STARTER_PACK_IMG) \
downloads \
- man \
+ $(find man -name "*.html") \
$(REMOTE)/stardis/
distclean: clean
