diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index a204e0bf6a7..4d1a6dadbb7 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -7738,6 +7738,7 @@ let prologMode = callPackage ../applications/editors/emacs-modes/prolog { }; proofgeneral = callPackage ../applications/editors/emacs-modes/proofgeneral { + texinfo = texinfo4 ; texLive = pkgs.texLiveAggregationFun { paths = [ pkgs.texLive pkgs.texLiveCMSuper ]; };