diff --git a/ChangeLog b/ChangeLog
index 75dab4ec..44801cf4 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2001-08-29  Akim Demaille  <akim@epita.fr>
+
+	* lib/autotest/general.m4: s/AT-devnull/devnull/ since there are
+	case insensitive OSes out there :(
+	From Tim Van Holder.
+
 2001-08-29  Akim Demaille  <akim@epita.fr>
 
 	* lib/autom4te.in: New.
diff --git a/lib/autotest/general.m4 b/lib/autotest/general.m4
index bc9fb709..2f36f284 100644
--- a/lib/autotest/general.m4
+++ b/lib/autotest/general.m4
@@ -126,7 +126,7 @@ while test $[@%:@] -gt 0; do
     --help | -h) at_help=: ;;
     --version) echo "$as_me ($at_package) $at_version"; exit 0 ;;
     --clean | -c )
-        rm -rf $at_data_files debug-*.sh $as_me.log AT-*
+        rm -rf $at_data_files debug-*.sh $as_me.log devnull
 	exit 0;;
 
     -d) at_debug=:;;
@@ -220,7 +220,7 @@ test -z "$at_tests" && at_tests=$at_tests_all
 if diff /dev/null /dev/null >/dev/null 2>&1; then
   at_devnull=/dev/null
 else
-  at_devnull=AT-devnull
+  at_devnull=devnull
   cp /dev/null $at_devnull
 fi