(${etc}DOC): Re-add a ${EXEEXT} which seems to have been

removed by mistake on the multi-tty branch.

diff --git a/src/Makefile.in b/src/Makefile.in
index 86c394f7bb2bdc83815e089121c254392cfe0984..0581badd969ea3a3bea0276abf0d12c35803d1e0 100644 (file)
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -995,7 +995,7 @@ emacs${EXEEXT}: temacs${EXEEXT} ${etc}DOC ${lisp}
    for the first time, this prevents any variation between configurations
    in the contents of the DOC file.
    Likewise for ${SOME_MACHINE_LISP}.  */
-${etc}DOC: ${libsrc}make-docfile ${obj} ${shortlisp} ${SOME_MACHINE_LISP}
+${etc}DOC: ${libsrc}make-docfile${EXEEXT} ${obj} ${shortlisp} ${SOME_MACHINE_LISP}
        -rm -f ${etc}DOC
        ${libsrc}make-docfile -d ${srcdir} ${SOME_MACHINE_OBJECTS} ${obj} > ${etc}DOC
        ${libsrc}make-docfile -a ${etc}DOC -d ${srcdir} ${SOME_MACHINE_LISP} ${shortlisp}