Re: [devel/cmake] errors caused by cmake-properties.7 during makewhatis

2018-12-20 Thread Ingo Schwarze
Hi, unless i'm missing something, everything discussed in this thread should be fixed now, with the commit appended below. Ingo Schwarze wrote on Thu, Dec 20, 2018 at 07:35:22PM +0100: > Raf Czlonka wrote on Thu, Dec 20, 2018 at 02:59:23PM +: [...] >> Rebuilding whatis databases: >>

Re: [devel/cmake] errors caused by cmake-properties.7 during makewhatis

2018-12-20 Thread Ingo Schwarze
Hi Raf, Raf Czlonka wrote on Thu, Dec 20, 2018 at 02:59:23PM +: > Recently, I've noticed an odd-looking output from weekly(8): > > Rebuilding whatis databases: > makewhatis: man7/cmake-properties.7: ERROR: No such file or directory You are right, there are a number of bugs

[devel/cmake] errors caused by cmake-properties.7 during makewhatis

2018-12-20 Thread Raf Czlonka
Hi all, Recently, I've noticed an odd-looking output from weekly(8): Rebuilding whatis databases: makewhatis: man7/cmake-properties.7: ERROR: No such file or directory "Strange", I thought, especially since /usr/local/man/man7/cmake-properties.7 is "alive" and well: $