- install versioned manpage

diff --git a/Makefile.pre.in b/Makefile.pre.in
index f951907fa97f1b21784bd300aee2106e74b18d4d..12c9e921d33e7927bbe084e37ed0a70bc56e1fcc 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)