- install versioned manpage

diff --git a/Makefile.pre.in b/Makefile.pre.in
index f951907fa97f1b21784bd300aee2106e74b18d4d..e5706cdf78bd654c4d286ded55eb5e85eaf24b22 100644 (file)
--- a/Makefile.pre.in
+++ b/Makefile.pre.in
@@ -791,7 +791,7 @@ maninstall:
                fi; \
        done
        $(INSTALL_DATA) $(srcdir)/Misc/python.man \
-               $(DESTDIR)$(MANDIR)/man1/python.1
+               $(DESTDIR)$(MANDIR)/man1/python$(VERSION).1
 
 # Install the library
 PLATDIR=       plat-$(MACHDEP)