--- doc/Makefile.in.orig	Tue Dec 29 18:36:04 1998
+++ doc/Makefile.in	Tue Apr 20 16:43:54 1999
@@ -21,7 +21,7 @@
 	${INSTALL_DATA} make-dylan-app.1 \
 		${DESTDIR}${MANDIR}/man1/make-dylan-app.1
 	${INSTALL_DATA} platforms.descr.4 \
-		${DESTDIR}${MANDIR}/man4/platforms.descr.4
+		${DESTDIR}${MANDIR}/man5/platforms.descr.5
 
 clean:
 	-echo 'Nothing to do.'
