- -- WARNING: the Paths_haeredes module is automatically generated by
- -- Cabal itself. We don't want it included in the release tarballs,
- -- since we typically want the paths that the user has configured.
- -- Nevertheless, Cabal will complain if we don't include it here.