From bcbe618a8e054aa6d199114cd4e620ea2990e473 Mon Sep 17 00:00:00 2001 From: Andreas Kloeckner Date: Mon, 29 Jul 2024 17:08:55 -0500 Subject: [PATCH] Fix upload-docs script to properly delete --- doc/upload-docs.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/upload-docs.sh b/doc/upload-docs.sh index 9e7ce631..b5f6eaa6 100755 --- a/doc/upload-docs.sh +++ b/doc/upload-docs.sh @@ -1,3 +1,3 @@ #! /bin/sh -rsync --verbose --archive --delete _build/html/* doc-upload:doc/pudb +rsync --verbose --archive --delete _build/html/ doc-upload:doc/pudb