Merge remote-tracking branch 'github/pr/34'

apache · Sep 15, 2015 · 57a65ef · 57a65ef
2 parents a3101e9 + e31ad61
commit 57a65ef
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/Makefile b/Makefile
@@ -21,11 +21,7 @@ PAPERSIZE    := -D latex_paper_size=a4
 SPHINXFLAGS  := -a -W -n -A local=1 $(PAPERSIZE) -d $(BUILDDIR)/doctree
 SPHINXOPTS   := $(SPHINXFLAGS) $(SOURCE)
 
-ENSURECMD=\
-if [[ $(shell which $(1) > /dev/null 2>&1; echo $$?) -eq 1 ]]; then \
-  echo "*** Make sure that $(1) is installed and on your path" && exit 1; \
-fi
-
+ENSURECMD=which $(1) > /dev/null 2>&1 || (echo "*** Make sure that $(1) is installed and on your path" && exit 1)
 
 all: html pdf info man