diff --git a/configure.in b/configure.in
index 48407fdd9d0..e35c1476ad2 100644
--- a/configure.in
+++ b/configure.in
@@ -2467,7 +2467,7 @@ then
   man_dirs="man"
   man1_files=`echo $man1_files`
   man8_files=`echo $man8_files`
-  rm -f $MANLISTFIL
+  rm -f $MANLISTFIL $TMPLISTFIL
 else
   man_dirs=""
   man1_files=""