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