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
2023-09-26 09:08:56 +02:00 · 2023-09-26 09:08:56 +02:00 · 4c74371b9e
commit 4c74371b9e
parent 5985ad70d6
1 changed files with 1 additions and 1 deletions
--- a/docs/generate.sh
+++ b/docs/generate.sh
@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 set -euo pipefail
`@ -1,4 +1,4 @@`
	`#!/bin/sh`	`#!/bin/bash`

	`set -euo pipefail`	`set -euo pipefail`