From cd386643b1113c92775950b3683c2b48f7f2bf13 Mon Sep 17 00:00:00 2001
From: Gereon Kremer <nafur42@gmail.com>
Date: Thu, 27 May 2021 09:38:12 +0200
Subject: [PATCH] Avoid uploading docs if they did not change (#6621)

Fixes an oversight from #6601.
---
 .github/workflows/docs_upload.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/docs_upload.yml b/.github/workflows/docs_upload.yml
index 7346371e3..5bc8e4486 100644
--- a/.github/workflows/docs_upload.yml
+++ b/.github/workflows/docs_upload.yml
@@ -76,7 +76,7 @@ jobs:
             mv docs-new target/docs-$NAME-$HASH
             cd target/
 
-            if diff -r target/docs-master/ target/docs-$NAME-$HASH
+            if diff -r docs-master/ docs-$NAME-$HASH
             then
               echo "Ignored run, documentation is the same as for current master"
             else
-- 
2.30.2