# HG changeset patch
# User Stefan Monnier <monnier@iro.umontreal.ca>
# Date 1188424103 0
# Node ID 8566d2441c997fa9d9f42e43c398fbf1be84a2d9
# Parent  0a6fac24d74d7f123b2cace22438d8e60388210d
(${etc}DOC): Re-add a ${EXEEXT} which seems to have been
removed by mistake on the multi-tty branch.

diff -r 0a6fac24d74d -r 8566d2441c99 src/Makefile.in
--- a/src/Makefile.in	Wed Aug 29 21:47:40 2007 +0000
+++ b/src/Makefile.in	Wed Aug 29 21:48:23 2007 +0000
@@ -995,7 +995,7 @@
    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}