nuweb: fix after texlive update

This commit is contained in:
Dmitry Kalinkin 2020-03-16 02:27:21 -04:00
parent 30631f74a0
commit 2217b1d77c
No known key found for this signature in database
GPG key ID: 5157B3EC8B2CA333

View file

@ -10495,7 +10495,7 @@ in
# NOTE: Override and set icon-lang = null to use Awk instead of Icon.
noweb = callPackage ../development/tools/literate-programming/noweb { };
nuweb = callPackage ../development/tools/literate-programming/nuweb { tex = texlive.combined.scheme-small; };
nuweb = callPackage ../development/tools/literate-programming/nuweb { tex = texlive.combined.scheme-medium; };
nrfutil = callPackage ../development/tools/misc/nrfutil { };