From 5399d8a4e1f7cb594875a73c60c339aeb378988b Mon Sep 17 00:00:00 2001 From: Christian Mollekopf Date: Tue, 20 Mar 2018 12:11:52 +0100 Subject: [PATCH] Don't assume the path of bash --- builddocs.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/builddocs.sh b/builddocs.sh index 41e48a45..6bd05b80 100755 --- a/builddocs.sh +++ b/builddocs.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash mkdocs build echo "The HTML files for the documentation can be found in the site/ subdirectory." echo "To view the docs in a browser run 'mkdocs serve'"