From 9eacbf7e5b1910eb7ca47dca8840d88e8b979b76 Mon Sep 17 00:00:00 2001 From: Nick DeFilippis Date: Tue, 29 Dec 2015 23:25:08 -0500 Subject: [PATCH] Change make-doc.sh interpreter Changing interpreter to /bin/sh from /usr/bin/sh so it will work with ubuntu --- make-doc.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/make-doc.sh b/make-doc.sh index d4a0f3bc..d8721d96 100755 --- a/make-doc.sh +++ b/make-doc.sh @@ -1,4 +1,4 @@ -#!/usr/bin/sh +#!/bin/sh sphinx-apidoc --force --separate --output-dir=doc src make -C doc html