From e37880d455c84e9fc942749e4d12ec2a99fbd6c0 Mon Sep 17 00:00:00 2001
From: Ethan Rooke <ethan@roo.ke>
Date: Tue, 12 Nov 2024 10:28:47 -0600
Subject: [PATCH] docs: make src/docs/copy.sh shebang more portable

`/bin/bash` is not guaranteed to exist on all systems. Replacing the
shebang with `/usr/bin/env bash` looks up the location of bash on such
systems.
---
 src/doc/copy.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/doc/copy.sh b/src/doc/copy.sh
index 25b372fd8..9abf7e1ae 100755
--- a/src/doc/copy.sh
+++ b/src/doc/copy.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 html_path=../../_doc/_html
 # get name of internal library
 lib_name=$(ls $html_path | grep kind2dev)