From 872ec96350261ed3cadc713062842df851a21257 Mon Sep 17 00:00:00 2001
From: Adam Spiers <stow@adamspiers.org>
Date: Sat, 29 Jun 2019 00:55:51 +0100
Subject: [PATCH] HOWTO-RELEASE: Fix cvs commit command for docs

---
 doc/HOWTO-RELEASE | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/HOWTO-RELEASE b/doc/HOWTO-RELEASE
index 616bea9..0a21ace 100644
--- a/doc/HOWTO-RELEASE
+++ b/doc/HOWTO-RELEASE
@@ -111,7 +111,7 @@ Release procedure
     # Check that the changes look OK
     cvs diff
     # Then commit
-    cvs commit -m 'Update manual to v7.8.9'
+    cvs commit -m "Update manual to v$version"
 
 - Upload to ftp.gnu.org.  This is easiest using gnupload: