[GHC] #14867: make targets for documentation not working