On 6/13/25 11:32 AM, Stan Marsh wrote:
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.
I can't reproduce this.
After I configure --prefix=/fs1/install and run `make install', I get:
$ ls /fs1/install/share/man/man1/
bash.1 bashbug.1
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU [email protected] http://tiswww.cwru.edu/~chet/
OpenPGP_signature.asc
Description: OpenPGP digital signature
