diff --git a/texinfo/texinfo.nm b/texinfo/texinfo.nm
index f53f0af62..81c70e56a 100644
--- a/texinfo/texinfo.nm
+++ b/texinfo/texinfo.nm
@@ -4,7 +4,7 @@
 ###############################################################################
 
 name       = texinfo
-version    = 7.0.3
+version    = 7.1
 release    = 1
 
 groups     = Applications/Publishing