clean pathnames.h too

diff --git a/Makefile.in b/Makefile.in
index b7555192ef25ef447c4e1a0332a5a6a23b249d98..6b3047fdefd751424ad592e169ca5bfc89a93efa 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -248,7 +248,7 @@ clean:
 mostlyclean: clean
 
 distclean: clean
-       rm -f Makefile config.h config.status config.cache config.log
+       rm -f Makefile pathnames.h config.h config.status config.cache config.log
 
 clobber: distclean