diff --git a/configure b/configure
index 1070cbf48a501a1a61ddd757063cf30e54d9558b..530f29da2ffe780ac63d417790ea6318659c9183 100755
--- a/configure
+++ b/configure
@@ -1711,13 +1711,7 @@ fi
 
 enabled sdl || ffplay=no
 
-##########################################
-# texi2html check
-
-texi2html=no
-if (texi2html -version) >/dev/null 2>&1; then
-texi2html=yes
-fi
+texi2html -version >/dev/null 2>&1 && enable texi2html || disable texi2html
 
 ##########################################
 # IPv6 check