diff --git a/doc/arm/notes.rst b/doc/arm/notes.rst index ad77ac85a1..f96e7dab0d 100644 --- a/doc/arm/notes.rst +++ b/doc/arm/notes.rst @@ -38,7 +38,7 @@ information about each release, and source code. .. include:: ../notes/notes-known-issues.rst -.. include:: ../notes/notes-current.rst +.. include:: ../notes/notes-9.19.12.rst .. include:: ../notes/notes-9.19.11.rst .. include:: ../notes/notes-9.19.10.rst .. include:: ../notes/notes-9.19.9.rst diff --git a/doc/notes/notes-current.rst b/doc/notes/notes-9.19.12.rst similarity index 100% rename from doc/notes/notes-current.rst rename to doc/notes/notes-9.19.12.rst