On Wed, 14 Dec 1994, George Michaelson wrote: > install fails for the manual pages doing a make build to current Make sure you set the DESTDIR environment variable and do a 'make distrib-dirs' in the /usr/src/etc directory before you do a 'make build', as a general rule. --scott