From a5ee1e55a195010263778dfc846b39eb555541ca Mon Sep 17 00:00:00 2001 From: Felix Buehler Date: Tue, 22 Feb 2022 14:30:51 +0100 Subject: [PATCH] texinfoInteractive: remove double '-interactive' name --- pkgs/top-level/all-packages.nix | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 26f02751fc98..6b2e1689fae3 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -15755,9 +15755,7 @@ with pkgs; 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 { }; texinfo = texinfo6; - texinfoInteractive = appendToName "interactive" ( - texinfo.override { interactive = true; } - ); + texinfoInteractive = texinfo.override { interactive = true; }; texi2html = callPackage ../development/tools/misc/texi2html { };