Add haddock option to override googleapis font URL
Haddock produces documents using fonts from the hard-coded URL
https://fonts.googleapis.com/css?family=PT+Sans:400,400i,700. Having a package downloading something from an external resource every time a user opens the documentation is considered bad practice in Debian. Lintian (an error reporting tool for Debian packages) produces the following warning:
W: privacy-breach-generic [<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=pt+sans:400,400i,700" />] (https://fonts.googleapis.com/css?family=pt+sans:400,400i,700)
It would be great to add an option to haddock (just like
--mathjax=URL) to allow users to override the hard coded fontUrl to something available locally. Debian already packages this font family (
fonts-paratype package) so we could use that flag to point to them instead of Google.