diff --git a/configure b/configure
index 3cf1cb8..7ef42ea 100755
--- a/configure
+++ b/configure
@@ -181,7 +181,7 @@
 brlapi=""
 curl=""
 curses=""
-build_docs=""
+docs=""
 nptl=""
 vde=""
 vnc_tls=""
@@ -522,9 +522,9 @@
   ;;
   --with-pkgversion=*) pkgversion=" ($optarg)"
   ;;
-  --disable-docs) build_docs="no"
+  --disable-docs) docs="no"
   ;;
-  --enable-docs) build_docs="yes"
+  --enable-docs) docs="yes"
   ;;
   *) echo "ERROR: unknown option $opt"; show_help="yes"
   ;;
@@ -1410,15 +1410,15 @@
 fi
 
 # Check if tools are available to build documentation.
-if test "$build_docs" != "no" ; then
+if test "$docs" != "no" ; then
   if test -x "`which texi2html 2>/dev/null`" -a \
           -x "`which pod2man 2>/dev/null`" ; then
-    build_docs=yes
+    docs=yes
   else
-    if test "$build_docs" = "yes" ; then
-      feature_not_found "build_docs"
+    if test "$docs" = "yes" ; then
+      feature_not_found "docs"
     fi
-    build_docs=no
+    docs=no
   fi
 fi
 
@@ -1593,7 +1593,7 @@
 echo "xen support       $xen"
 echo "brlapi support    $brlapi"
 echo "bluez  support    $bluez"
-echo "Documentation     $build_docs"
+echo "Documentation     $docs"
 [ ! -z "$uname_release" ] && \
 echo "uname -r          $uname_release"
 echo "NPTL support      $nptl"
@@ -1722,7 +1722,7 @@
   echo "VPATH=$source_path" >> $config_host_mak
 fi
 echo "TARGET_DIRS=$target_list" >> $config_host_mak
-if [ "$build_docs" = "yes" ] ; then
+if [ "$docs" = "yes" ] ; then
   echo "BUILD_DOCS=yes" >> $config_host_mak
 fi
 if test "$sdl" = "yes" ; then