Author: kkallio
Date: Mon Jan 23 19:03:41 2012
New Revision: 31797
URL: https://nixos.org/websvn/nix/?rev=31797&sc=1
Log:
ProofGeneral documentation does not build without cm-super fonts.
Modified:
nixpkgs/trunk/pkgs/top-level/all-packages.nix
Modified: nixpkgs/trunk/pkgs/top-level/all-packages.nix
==============================================================================
--- nixpkgs/trunk/pkgs/top-level/all-packages.nix Mon Jan 23 17:21:37
2012 (r31796)
+++ nixpkgs/trunk/pkgs/top-level/all-packages.nix Mon Jan 23 19:03:41
2012 (r31797)
@@ -6695,7 +6695,11 @@
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 { };
_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
