build: configure: Make dot optional.
authorJan Nieuwenhuizen <janneke@gnu.org>
Sun, 18 Nov 2018 13:30:47 +0000 (14:30 +0100)
committerJan Nieuwenhuizen <janneke@gnu.org>
Sun, 18 Nov 2018 13:30:47 +0000 (14:30 +0100)
* configure: Make dot optional.

configure

index 6ad9673b59a84c3ce93ee254d13e0d07bdfdcd7c..5cf1789ad1a56b1628b824d6c6ebbb5af70ca17e 100755 (executable)
--- 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))))