ProofGeneral documentation does not build without cm-super fonts.

svn path=/nixpkgs/trunk/; revision=31797
This commit is contained in:
Karn Kallio 2012-01-23 19:03:41 +00:00
parent bbc726c86a
commit 05bbc5edd5

View file

@ -6695,7 +6695,11 @@ let
prologMode = callPackage ../applications/editors/emacs-modes/prolog { };
proofgeneral = callPackage ../applications/editors/emacs-modes/proofgeneral { };
proofgeneral = callPackage ../applications/editors/emacs-modes/proofgeneral {
texLive = pkgs.texLiveAggregationFun {
paths = [ pkgs.texLive pkgs.texLiveCMSuper ];
};
};
quack = callPackage ../applications/editors/emacs-modes/quack { };