Rename file generated by doc/news/changes/header

diff --git a/doc/news/changes/header b/doc/news/changes/header
index 14d7ac1993c7b98b7af4bc34a66285f91c1d002f..1b580c8dd3bd1052a5e6309f3db9aa534adeceec 100644 (file)
--- a/doc/news/changes/header
+++ b/doc/news/changes/header
@@ -14,11 +14,11 @@
 // ---------------------------------------------------------------------
 
 /**
-@page changes_after_9_0_1 Changes after Version 9.0.1
+@page recent_changes Changes since the last release
 
 <p>
-This is the list of changes made after the release of deal.II version
-9.0.1. All entries are signed with the names of the authors.
+This is the list of changes made since the last release of deal.II.
+All entries are signed with the names of the authors.
 </p>