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.

Reply via email to