I did: ./configure --prefix=$HOME/local/bash5 Then make and then make install (all of this is done as a non-root user).
It created the directory listed above and all the necessary subdirs, including share/man/man1, but left that directory empty. Shouldn't (at least) a copy of "bash.1" have been put there. I note that bash.1 exists in the build area, in the "doc" subdir. Note that "gawk" does the right thing. When I do "make install" (after having built gawk), it copies all the man pages to the install area. ================================================================================= Please do not send me replies to my posts on the list. I always read the replies via the web archive, so CC'ing to me is unnecessary. Note that they always end up in my Spam file anyway, so it is annoying to have to periodically clean that out.