6 commits

Author	SHA1	Message	Date
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