diff --git a/documentation/ReleaseChecklist.html b/documentation/ReleaseChecklist.html index 6f4182cee..51e8c6ed3 100644 --- a/documentation/ReleaseChecklist.html +++ b/documentation/ReleaseChecklist.html @@ -35,7 +35,7 @@

$Date$
$Authors$
- $Release-Id$

+ $Revision-Id$

This document describes the procedures and provides a checklist of tasks