extra-patch-install-as-ksh93-doc

--- src/cmd/ksh93/docs/meson.build.orig	2019-09-16 17:08:04.000000000 -0700
+++ src/cmd/ksh93/docs/meson.build	2019-09-17 12:15:14.321848000 -0700
@@ -3,6 +3,6 @@
 # default man page directory: /usr/local/share/man/man1. The man pages for individual builtins will
 # be installed in /usr/local/share/ksh/man.
 #
-install_man('ksh.1', install_mode: 'rw-r--r--')
+install_man('ksh93.1', install_mode: 'rw-r--r--')
 
 # See also scripts/install_aux_files.sh which takes care of installing the private man pages.