changeset 11689:fa8b13d1a665

(${etc}DOC): Put SOME_MACHINE_OBJECTS before obj.
author Richard M. Stallman <rms@gnu.org>
date Thu, 04 May 1995 21:55:08 +0000
parents f1e6033d8aca
children 450b9598aca5
files src/Makefile.in
diffstat 1 files changed, 6 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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: