1# 2# Install the man pages. If /usr/local is the install prefix this will put the `ksh` man page in the 3# default man page directory: /usr/local/share/man/man1. The man pages for individual builtins will 4# be installed in /usr/local/share/ksh/man. 5# 6install_man('ksh93.1', install_mode: 'rw-r--r--') 7 8# See also scripts/install_aux_files.sh which takes care of installing the private man pages. 9