Merge pull request #5082 from storymode7/shell-fix

Find bash from PATH instead of /bin/bash
This commit is contained in:
Andrey Rahmatullin 2021-04-21 14:30:50 +05:00 committed by GitHub
commit 7095df1558
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -8,7 +8,7 @@ PYTHON = python
SPHINXOPTS =
PAPER =
SOURCES =
SHELL = /bin/bash
SHELL = /usr/bin/env bash
ALLSPHINXOPTS = -b $(BUILDER) -d build/doctrees \
-D latex_elements.papersize=$(PAPER) \