diff options
Diffstat (limited to 'pkgs/top-level/all-packages.nix')
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 2dd01957be7..6181925a507 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -5811,10 +5811,9 @@ let teensy-loader = callPackage ../development/tools/misc/teensy { }; texinfo413 = callPackage ../development/tools/misc/texinfo/4.13a.nix { }; - texinfo4 = texinfo413; texinfo5 = callPackage ../development/tools/misc/texinfo/5.2.nix { }; - texinfo6 = callPackage ../development/tools/misc/texinfo/6.0.nix { }; - texinfo = texinfo6; + texinfo4 = texinfo413; + texinfo = texinfo5; texinfoInteractive = appendToName "interactive" ( texinfo.override { interactive = true; } ); |