From b23bcd14725db42e4c60235c701bd1d2c2aee3a3 Mon Sep 17 00:00:00 2001
From: merakor <cem@ckyln.com>
Date: Thu, 24 Dec 2020 14:40:08 +0000
Subject: docs/default.do: silence the 'command -v' call

FossilOrigin-Name: 2d2891423ef16e2e42572b38faa4f94061662b27131a4729053098e10851716a
---
 docs/default.do | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'docs')

diff --git a/docs/default.do b/docs/default.do
index 1ce12e2..fcf8802 100644
--- a/docs/default.do
+++ b/docs/default.do
@@ -10,7 +10,7 @@ case "$1" in
     info) redo-ifchange cpt.info cpt.texi cpt.org ;;
     *.info)
         # Don't bother if makeinfo doesn't exist on the system, exit with success.
-        if ! command -v $MAKEINFO; then
+        if ! command -v $MAKEINFO >/dev/null; then
             PHONY
             exit 0
         fi
-- 
cgit v1.2.3