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