build: configure: Make dot optional.

* configure: Make dot optional.
This commit is contained in:
Jan Nieuwenhuizen 2018-11-18 14:30:47 +01:00
parent 08f04f5596
commit 3c9274ce2d
No known key found for this signature in database
GPG key ID: F3C1A0D9C1D65273

2
configure vendored
View file

@ -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))))