From 476cf920321c3c453e93d8b2fdbe1de5bb6b9028 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Wed, 1 Jul 2020 09:54:01 +0200
Subject: [PATCH] [configure] remove useless variable declarations

`configure_tool` performs everything by itself.
---
 configure.in | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/configure.in b/configure.in
index 284e9f5cea3..dfae5c776dd 100644
--- a/configure.in
+++ b/configure.in
@@ -657,14 +657,6 @@ REQUIRE_LABLGTK=
 USE_LABLGTK=
 HAS_LABLGTK=
 
-# Tool declarations
-####################
-
-DOT=
-REQUIRE_DOT=
-USE_DOT=
-HAS_DOT=
-
 ### Now plugin declarations
 
 PLUGINS_FORCE_LIST=
@@ -974,8 +966,6 @@ EXTERNAL_PLUGINS="${EXTERNAL_PLUGINS} ${EXTRA_EXTERNAL_PLUGINS}"
 AC_SUBST(PLATFORM)
 AC_SUBST(VERBOSEMAKE)
 AC_SUBST(DEVELOPMENT)
-AC_SUBST(DOT)
-AC_SUBST(HAS_DOT)
 AC_SUBST(HAS_APRON)
 AC_SUBST(HAS_MPFR)
 AC_SUBST(HAS_LANDMARKS)
-- 
GitLab