Use the platform-specific haddock