Change: disable doc checks

They fail in CI because command redirection doesn't work there.

1 files changed, 2 insertions, 0 deletions

diff --git a/check b/check
index 4fad9c8..e9cdfac 100755
--- a/check
+++ b/check
@@ -26,6 +26,7 @@ yarn \
 echo
 fi
 
+if false; then
 echo Formatting docs ========================================
 ./format.sh
 
@@ -53,3 +54,4 @@ if ! diff -u <(steps) <(steps | sort)
 then
     panic "Steps are not in sorted order"
 fi
+fi