diff -ru gnumach-1-branch.1.savannah/Drivers.macros gnumach-1-branch.1.debian/Drivers.macros
--- gnumach-1-branch.1.savannah/Drivers.macros	2005-06-03 00:14:13.000000000 +0200
+++ gnumach-1-branch.1.debian/Drivers.macros	2005-06-03 00:11:37.000000000 +0200
@@ -21,7 +21,7 @@
 AC_DEFUN([AC_DRIVER_ALIAS], [
 [#] Checking for alias [$1]
 AC_ARG_ENABLE([$1],
-  AS_HELP_STRING([--enable-$1], [enable driver alias $1]),
+  AS_HELP_STRING([--enable-$1], [enable driver alias $1 for $2]),
   [enable_$2="$enable_$1"]
 )])