Synchronizing Makefiles that had gotten out of sync with directory

[mmh] / docs / Makefile.in

diff --git a/docs/Makefile.in b/docs/Makefile.in
index 236a5bc..93c3ab5 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 README.about \
+        README.developers TODO 
 
 # auxiliary files
 AUX = Makefile.in