From 3c9274ce2d40d9935a6ad5d9b6e2941e68674a75 Mon Sep 17 00:00:00 2001 From: Jan Nieuwenhuizen Date: Sun, 18 Nov 2018 14:30:47 +0100 Subject: [PATCH] build: configure: Make dot optional. * configure: Make dot optional. --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure b/configure index 6ad9673b..5cf1789a 100755 --- a/configure +++ b/configure @@ -374,7 +374,7 @@ Some influential environment variables: (make-dep "hex2" '(0 3)) (make-dep "tcc" '(0 9 26) #:optional? #t #:version-option "-v") (make-dep "makeinfo" '(5) #:optional? #t) - (make-dep "dot" '(2) #:version-option "-V") + (make-dep "dot" '(2) #:version-option "-V" #:optional? #t) (make-dep "help2man" '(1 47) #:optional? #t) (make-dep "perl" '(5) #:optional? #t) (make-dep "git" '(2) #:optional? #t))))