[ admin ] Add fix for #3022 to CHANGELOG

As well as the envvars doc update.
idris-lang · Jul 20, 2023 · f85e63b · f85e63b
1 parent 32ed53b
commit f85e63b
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -226,6 +226,9 @@
   these installed library files.
 * Renamed `support-clean` Makefile target to `clean-support`. This is in line
   with most of the `install-<something>` and `clean-<something>` naming.
+* Fixes an error in the `Makefile` where setting `IDRIS2_PREFIX` caused
+  bootstrapping to fail.
+* Updates the docs for `envvars` to match the changes introduced in #2649.
 
 ## v0.6.0