From c36ca78847311bb7d09ea3c026cbec3c4994f292 Mon Sep 17 00:00:00 2001 From: Daniel Arndt Date: Sun, 24 Mar 2019 11:30:55 -0400 Subject: [PATCH] Rename file generated by doc/news/changes/header --- doc/news/changes/header | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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

-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.

-- 2.39.5