Peter Simons
|
39c70b3c87
|
trang: update to latest github version
|
2017-11-10 13:53:03 +01:00 |
|
Linus Heckemann
|
3c3a25acc5
|
jing-trang: use jre_headless
This halves its closure size.
|
2017-06-07 15:18:41 +02:00 |
|
Matthew Bauer
|
aac48708c1
|
jing-trang: supports all unix
This is needed to build the manual on macOS.
|
2017-05-02 20:52:19 +02:00 |
|
Vladimír Čunát
|
cb6a81c607
|
jing-trang: fixup indentation problems
|
2016-11-05 10:17:56 +01:00 |
|
Vladimír Čunát
|
fbb33ab8c9
|
saxon: use our standard share/java/*.jar location
|
2016-11-05 10:17:44 +01:00 |
|
Vladimír Čunát
|
c6fcd28e2d
|
jing-trang: add back and update; removed in #20142
This fixes the tarball, as we use jing to validate nixpkgs manual!
/cc maintainer @bjornfor.
|
2016-11-05 10:03:29 +01:00 |
|