diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index dec9b440c8a..d920b16ef1a 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -135,6 +135,7 @@ In this release, the following build problems were fixed:
  • [build] Makefiles break if C frontend target string has unexpected value
  • [build] hard-wired assumption that shared-library extension is ".so"
  • make tools-only doesn't make lib/Support
  • +
  • [build] Usage of autoconf is awkward