handle unchanged html in diff

taken from rrthomas#184
entorb · Jan 17, 2025 · aec0c78 · aec0c78
1 parent d11e18f
commit aec0c78
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/check-and-ebook.yml b/.github/workflows/check-and-ebook.yml
@@ -127,7 +127,7 @@ jobs:
 
       - name: Compare to previous hpmor.html
         run: |
-          diff -u hpmor-prev.html hpmor.html > hpmor-html-diff.log || :
+          diff -u -s hpmor-prev.html hpmor.html > hpmor-html-diff.log || :
           rm hpmor-prev.html
 
       - name: ls after