Add haddock option to override googleapis font URL
Motivation
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)
Proposal
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.