texinfoInteractive: remove double '-interactive' name

This commit is contained in:
Felix Buehler 2022-02-22 14:30:51 +01:00
parent 404e4e6be2
commit a5ee1e55a1

View file

@ -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 { };