diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2014-09-28 14:00:14 +0100 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2014-09-28 14:03:15 +0100 |
commit | 94828070ed293043eefcde0ad179145c803eb6ef (patch) | |
tree | 48e05dd3efe09dbb4b0577ab0956cb40b3b45b7f /lib/trivial.nix | |
parent | f3b8d82ce683d38d11f29a6b82de11fc6259d3a0 (diff) | |
download | nixlib-94828070ed293043eefcde0ad179145c803eb6ef.tar nixlib-94828070ed293043eefcde0ad179145c803eb6ef.tar.gz nixlib-94828070ed293043eefcde0ad179145c803eb6ef.tar.bz2 nixlib-94828070ed293043eefcde0ad179145c803eb6ef.tar.lz nixlib-94828070ed293043eefcde0ad179145c803eb6ef.tar.xz nixlib-94828070ed293043eefcde0ad179145c803eb6ef.tar.zst nixlib-94828070ed293043eefcde0ad179145c803eb6ef.zip |
ProofGeneral: makes the dependency on TeXLive optional
And fixes the default value of $PGHOME
Diffstat (limited to 'lib/trivial.nix')
0 files changed, 0 insertions, 0 deletions