From 34fba57011f242d31d9af55e18c261d4a197262c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Alejandro=20Gonz=C3=A1lez?= Date: Sat, 23 Nov 2024 13:41:10 +0100 Subject: [PATCH] Use standard POSIX shell for manual generation script No bashisms are needed here, so target portability accross Unix systems. --- scripts/manual.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/manual.sh b/scripts/manual.sh index 68b85db7..dc9c4bb2 100755 --- a/scripts/manual.sh +++ b/scripts/manual.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh -eu cargo build cargo xstask mangen