In the hullaballoo with moving stuff back and forth out of the docs/ directory,

[nmh] / docs / Makefile.in

diff --git a/docs/Makefile.in b/docs/Makefile.in
index 236a5bca62936c0ae46462fe4aea003503268b3a..61e9f59b96b2a7d54835e9f22b1cc3147967ee1c 100644 (file)
--- a/docs/Makefile.in
+++ b/docs/Makefile.in
@@ -10,10 +10,10 @@ srcdir = @srcdir@
 VPATH  = @srcdir@
 
 # header files included in distribution
-FILES=COMPLETION-TCSH COMPLETION-ZSH ChangeLog_MH-3_to_MH-6.6 \
-      ChangeLog_MH-6.7.0_to_MH-6.8.4.html DIFFERENCES FAQ \
-      MACHINES MAIL.FILTERING MAILING-LISTS Makefile.in \
-      README.developers README.history TODO 
+FILES = COMPLETION-TCSH COMPLETION-ZSH ChangeLog_MH-3_to_MH-6.6 \
+        ChangeLog_MH-6.7.0_to_MH-6.8.4.html DIFFERENCES FAQ \
+        MAIL.FILTERING MAILING-LISTS Makefile.in \
+        README.developers README.history TODO 
 
 # auxiliary files
 AUX = Makefile.in