From 83c1277fd728367e53d88ae6e7cf7138106deca2 Mon Sep 17 00:00:00 2001
From: Alexis Hildebrandt <afh@surryhill.net>
Date: Fri, 20 Oct 2023 13:32:23 +0200
Subject: [PATCH] texinfo: 7.0.3 -> 7.1

---
 pkgs/development/tools/misc/texinfo/7.1.nix | 4 ++++
 pkgs/top-level/all-packages.nix             | 3 ++-
 2 files changed, 6 insertions(+), 1 deletion(-)
 create mode 100644 pkgs/development/tools/misc/texinfo/7.1.nix

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 118f40ab009c0..e003537080051 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -20289,7 +20289,8 @@ 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 { };
+  texinfo7_0 = callPackage ../development/tools/misc/texinfo/7.0.nix { };
+  texinfo7 = callPackage ../development/tools/misc/texinfo/7.1.nix { };
   texinfo = texinfo7;
   texinfoInteractive = texinfo.override { interactive = true; };