diff --git a/pkgs/development/tools/misc/texinfo/7.1.nix b/pkgs/development/tools/misc/texinfo/7.1.nix
new file mode 100644
index 0000000000000..dff284eca89b4
--- /dev/null
+++ b/pkgs/development/tools/misc/texinfo/7.1.nix
@@ -0,0 +1,4 @@
+import ./common.nix {
+  version = "7.1";
+  sha256 = "sha256-3u7J8Z8VngRv34rSIjGYGAbawzLMNy8cdjUErYKzCVM=";
+}
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 2a4e2631e922d..ff3f410bcbc39 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -19685,8 +19685,9 @@ with pkgs;
   texinfo6_5 = callPackage ../development/tools/misc/texinfo/6.5.nix { }; # needed for allegro
   texinfo6_7 = callPackage ../development/tools/misc/texinfo/6.7.nix { }; # needed for gpm, iksemel and fwknop
   texinfo6 = callPackage ../development/tools/misc/texinfo/6.8.nix { };
-  texinfo7 = callPackage ../development/tools/misc/texinfo/7.0.nix { };
-  texinfo = texinfo7;
+  texinfo7_0 = callPackage ../development/tools/misc/texinfo/7.0.nix { };
+  texinfo7_1 = callPackage ../development/tools/misc/texinfo/7.1.nix { };
+  texinfo = texinfo7_1;
   texinfoInteractive = texinfo.override { interactive = true; };
 
   texi2html = callPackage ../development/tools/misc/texi2html { };