2004-04-08 13:49:27 +02:00
|
|
|
{stdenv, fetchurl, unzip}:
|
|
|
|
|
|
|
|
assert unzip != null;
|
|
|
|
|
|
|
|
stdenv.mkDerivation {
|
|
|
|
name = "docbook-xml-ebnf-1.2b1";
|
|
|
|
builder = ./builder.sh;
|
|
|
|
dtd = fetchurl {
|
2007-08-24 14:32:36 +02:00
|
|
|
url = http://www.docbook.org/xml/ebnf/1.2b1/dbebnf.dtd;
|
2004-04-08 13:49:27 +02:00
|
|
|
md5 = "e50f7d38caf4285965c7a247e026fa7c";
|
|
|
|
};
|
|
|
|
catalog = ./docbook-ebnf.cat;
|
|
|
|
}
|