From: Daniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Date: Sun, 24 Mar 2019 15:30:55 +0000 (-0400)
Subject: Rename file generated by doc/news/changes/header
X-Git-Tag: v9.1.0-rc1~257^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c36ca78847311bb7d09ea3c026cbec3c4994f292;p=dealii.git

Rename file generated by doc/news/changes/header
---

diff --git a/doc/news/changes/header b/doc/news/changes/header
index 14d7ac1993..1b580c8dd3 100644
--- 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>