Request 324530 (accepted)

This request supersedes: request 324529 (Show diff)

create man page in a 2nd build cycle, in order to avoid a stupid build loop, since doxygen switched to cmake

create man page in a 2nd build cycle, in order to avoid a stupid build loop, since doxygen switched to cmake

2 weeks holdup to get another problem fixed seems long enough.
There was a reminder asked 5 days ago, without reaction...

overruling.