Merge pull request #18 from a4lg/robust-docker-detection

Detect Docker robustly
riscv-non-isa · Mar 7, 2024 · 0bb838e · 0bb838e
2 parents b5fbf40 + dd86629
commit 0bb838e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/docs/Makefile b/docs/Makefile
@@ -44,10 +44,10 @@ clean:
 # Generalized rule for building any PDF
 %.pdf: %.adoc
 	@echo "Building $* PDF"
-	@if command -v docker &> /dev/null ; then \
+	@if command -v docker >/dev/null 2>&1 ; then \
 		echo "Docker is available, building inside Docker container..."; \
 		$(DOCKER_RUN) /bin/sh -c "$(ASCIIDOCTOR_PDF) $(OPTIONS) $(REQUIRES) --out-file=$*.pdf $*.adoc"; \
 	else \
 		echo "Docker is not available, building without Docker..."; \
 		$(ASCIIDOCTOR_PDF) $(OPTIONS) $(REQUIRES) --out-file=$*.pdf $*.adoc; \
-	fi
+	fi