Re: [GHC] #14867: Documentation targets are not working (was: [build system] Documentation targets are not working)