From: Gereon Kremer <nafur42@gmail.com>
Date: Thu, 27 May 2021 07:38:12 +0000 (+0200)
Subject: Avoid uploading docs if they did not change (#6621)
X-Git-Tag: cvc5-1.0.0~1690
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cd386643b1113c92775950b3683c2b48f7f2bf13;p=cvc5.git

Avoid uploading docs if they did not change (#6621)

Fixes an oversight from #6601.
---

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