From 4c74371b9e0fe54bacc8f9fc1166c3eeec4a0a04 Mon Sep 17 00:00:00 2001
From: Nick Groenen <nick@groenen.me>
Date: Tue, 26 Sep 2023 09:08:56 +0200
Subject: [PATCH] Use /bin/bash when generating README

set -o pipefail is a bashism that not all shells support. Notably, this
fails with the default /bin/sh on GitHub Actions Linux runners
---
 docs/generate.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/generate.sh b/docs/generate.sh
index 5cb0a02..b47f9c3 100755
--- a/docs/generate.sh
+++ b/docs/generate.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 set -euo pipefail