CVSROOT: /cvs
Module name: ports
Changes by: [email protected] 2023/07/11 03:49:09
Modified files:
lang/ghc : Makefile distinfo
lang/ghc/pkg : PLIST
Log message:
ghc: apply upstream patch to update the old vendored copy of sphinx-rtd-theme,
fixing a build failure with sphinx >= 7 reported by tb@
It's a git binary patch which neither patch nor gpatch can handle, so sadly
a BDEP on git (for git-apply) is required, but at least it can be confined
to a single Makefile chunk, and the relevant files in ghc haven't been
touched in years, so it's easy to remove again when needed.
