diff options
| author | merakor <cem@ckyln.com> | 2020-12-24 14:40:08 +0000 |
|---|---|---|
| committer | merakor <cem@ckyln.com> | 2020-12-24 14:40:08 +0000 |
| commit | b23bcd14725db42e4c60235c701bd1d2c2aee3a3 (patch) | |
| tree | 74c77a3d374b5e9b69ed61e2505d018fe40fa385 /docs | |
| parent | 6e922076822a5c2b1569a4ee0a9aeac4522211ee (diff) | |
| download | cpt-b23bcd14725db42e4c60235c701bd1d2c2aee3a3.tar.gz | |
docs/default.do: silence the 'command -v' call
FossilOrigin-Name: 2d2891423ef16e2e42572b38faa4f94061662b27131a4729053098e10851716a
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/default.do | 2 |
1 files changed, 1 insertions, 1 deletions
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 |