diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index 0897106290c..fcf19e0ba0d 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -12,8 +12,8 @@
  1. Introduction
  2. What's New?
  3. +
  4. Installation Instructions
  5. Portability and Supported Platforms
  6. -
  7. Installation Instructions
  8. Known Problems