diff --git a/configure.in b/configure.in
index 76352b06d62..0c2d20e3feb 100644
--- a/configure.in
+++ b/configure.in
@@ -2554,7 +2554,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=""