Re: r 328531: installworld failure: /usr/share/man/man3/cap_syslog.3.gz: No such file or directory

2018-01-29 Thread O. Hartmann
Am Mon, 29 Jan 2018 13:58:33 +0100 Mariusz Zaborski schrieb: > On Mon, Jan 29, 2018 at 06:31:31AM +0100, O. Hartmann wrote: > > > > "make installworld' fails on r328531 with the follwoing error: > > > > [...] > > --- maninstall --- > > rm -f /usr/share/man/man3/cap_syslog.3 /usr/share/man/man3/

Re: r 328531: installworld failure: /usr/share/man/man3/cap_syslog.3.gz: No such file or directory

2018-01-29 Thread Mariusz Zaborski
On Mon, Jan 29, 2018 at 06:31:31AM +0100, O. Hartmann wrote: > > "make installworld' fails on r328531 with the follwoing error: > > [...] > --- maninstall --- > rm -f /usr/share/man/man3/cap_syslog.3 /usr/share/man/man3/cap_syslog.3.gz; > install -l > h /usr/share/man/man3/cap_syslog.3.gz /usr/

r 328531: installworld failure: /usr/share/man/man3/cap_syslog.3.gz: No such file or directory

2018-01-29 Thread O. Hartmann
"make installworld' fails on r328531 with the follwoing error: [...] --- maninstall --- rm -f /usr/share/man/man3/cap_syslog.3 /usr/share/man/man3/cap_syslog.3.gz; install -l h /usr/share/man/man3/cap_syslog.3.gz /usr/share/man/man3/cap_syslog.3.gz install: link /usr/share/man/man3/cap_syslog.3.