# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 799624508 0
# Node ID fa8b13d1a665fc974c246388d255fc5d01b91a9e
# Parent  f1e6033d8aca1ae8b26e9070a73494907ea8f7a5
(${etc}DOC): Put SOME_MACHINE_OBJECTS before obj.

diff -r f1e6033d8aca -r fa8b13d1a665 src/Makefile.in
--- a/src/Makefile.in	Thu May 04 21:37:43 1995 +0000
+++ b/src/Makefile.in	Thu May 04 21:55:08 1995 +0000
@@ -667,9 +667,14 @@
 
 /* We run make-docfile twice because the command line may get too long
    on some systems.  */
+/* ${SOME_MACHINE_OBJECTS} comes before ${obj} because some files may
+   or may not be included in ${obj}, but they are always included in
+   ${SOME_MACHINE_OBJECTS}.  Since a file is processed when it is mentioned
+   for the first time, this prevents any variation between configurations
+   in the contents of the DOC file.  */
 ${etc}DOC: ${libsrc}make-docfile ${obj} ${lisp}
 	-rm -f ${etc}DOC
-	${libsrc}make-docfile -d ${srcdir} ${obj} ${SOME_MACHINE_OBJECTS} > ${etc}DOC
+	${libsrc}make-docfile -d ${srcdir} ${SOME_MACHINE_OBJECTS} ${obj} > ${etc}DOC
 	${libsrc}make-docfile -a ${etc}DOC -d ${srcdir}  ${lisp}
 
 ${libsrc}make-docfile: