Vladimír Čunát 5e9f1bb343 docbook5: 5.0 -> 5.0.1 ... Main reason: the previous source would not unpack with patched unzip: https://github.com/NixOS/nixpkgs/commit/0238946872c1		2019-07-20 12:39:16 +02:00
..
docbook-5.0	docbook5: 5.0 -> 5.0.1	2019-07-20 12:39:16 +02:00
sgml-dtd/docbook	treewide: use dontUnpack	2019-07-01 04:23:51 -04:00
xml-dtd