1 files changed, 1 insertions, 1 deletions

diff --git a/src/Makefile.in b/src/Makefile.in
index 5a992d6bae6..d6c6b35a0b1 100644
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -492,7 +492,7 @@ obj=    dispnew.o frame.o scroll.o xdisp.o window.o \
 /* Object files used on some machine or other.
    These go in the DOC file on all machines
    in case they are needed there.  */
-SOME_MACHINE_OBJECTS = sunfns.o msdos.o \
+SOME_MACHINE_OBJECTS = sunfns.o dosfns.o msdos.o intervals.o textprop.o \
   xterm.o xfns.o xfaces.o xmenu.o xselect.o xrdb.o