Re: #1878: disable haddock from dist-f12