Index: man/push_to_gs.sh |
diff --git a/man/push_to_gs.sh b/man/push_to_gs.sh |
index 22c8c2959628a0ce9a6f857aefdf236a99ee48d5..00a5fbb36161ac4c005405e670a4bafbd26226fb 100755 |
--- a/man/push_to_gs.sh |
+++ b/man/push_to_gs.sh |
@@ -1,4 +1,4 @@ |
-#!/bin/bash |
+#!/usr/bin/env bash |
MY_DIR=$(dirname "$(readlink "$0")") |
gsutil cp -r -z html -a public-read "$MY_DIR/html" gs://chrome-infra-docs/flat/depot_tools/docs/ |