proofgeneral: fix build with earlier version of texinfo.

This commit is contained in:
Karn Kallio 2014-02-03 09:58:48 -04:30 committed by Peter Simons
parent 8677b19c9d
commit 26ea10a775

View file

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