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
xml-dtd