blob: 0df76cd287619cd795d68be951d383cb2eef3259 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
{stdenv, fetchurl, unzip}:
assert unzip != null;
stdenv.mkDerivation {
name = "docbook-xml-ebnf-1.2b1";
builder = ./builder.sh;
dtd = fetchurl {
url = http://www.docbook.org/xml/ebnf/1.2b1/dbebnf.dtd;
md5 = "e50f7d38caf4285965c7a247e026fa7c";
};
catalog = ./docbook-ebnf.cat;
meta = {
platforms = stdenv.lib.platforms.unix;
};
}
|