diff --git a/webapi/gendoc.sh b/webapi/gendoc.sh index e9003cf596..151995aea1 100755 --- a/webapi/gendoc.sh +++ b/webapi/gendoc.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -euo pipefail # this is run with .. as working directory.