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)