# HG changeset patch
# User Stefan Monnier <monnier@iro.umontreal.ca>
# Date 1088623890 0
# Node ID d7735d732373ea3f174f2b18fe88b35f0d964f22
# Parent  9f2593e56a2ac04d8d4803a923317fd91bfb2dab
(${etc}DOC): Fix file name of make-docfile.

diff -r 9f2593e56a2a -r d7735d732373 src/Makefile.in
--- a/src/Makefile.in	Wed Jun 30 17:12:39 2004 +0000
+++ b/src/Makefile.in	Wed Jun 30 19:31:30 2004 +0000
@@ -928,7 +928,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}