diff options
Diffstat (limited to 'docs/users_guide/ghc_config.py.in')
| -rw-r--r-- | docs/users_guide/ghc_config.py.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/users_guide/ghc_config.py.in b/docs/users_guide/ghc_config.py.in index 0feb916656..e2f5c71d5d 100644 --- a/docs/users_guide/ghc_config.py.in +++ b/docs/users_guide/ghc_config.py.in @@ -4,6 +4,9 @@ extlinks = { } libs_base_uri = '../libraries' + +# N.B. If you add a package to this list be sure to also add a corresponding +# LIBRARY_VERSION macro call to configure.ac. lib_versions = { 'base': '@LIBRARY_base_VERSION@', 'ghc-prim': '@LIBRARY_ghc_prim_VERSION@', |