2003-11-25 17:59:07 +01:00
|
|
|
{stdenv, fetchurl, unzip}:
|
|
|
|
|
2004-03-29 12:25:25 +02:00
|
|
|
assert unzip != null;
|
2003-11-25 17:59:07 +01:00
|
|
|
|
2004-03-29 19:23:01 +02:00
|
|
|
stdenv.mkDerivation {
|
2004-04-08 13:49:27 +02:00
|
|
|
name = "docbook-xml-4.3";
|
2003-11-25 17:59:07 +01:00
|
|
|
builder = ./builder.sh;
|
|
|
|
src = fetchurl {
|
2007-08-24 14:32:36 +02:00
|
|
|
url = http://www.docbook.org/xml/4.3/docbook-xml-4.3.zip;
|
2004-04-08 13:49:27 +02:00
|
|
|
md5 = "ab200202b9e136a144db1e0864c45074";
|
2003-11-25 17:59:07 +01:00
|
|
|
};
|
2004-04-08 13:49:27 +02:00
|
|
|
buildInputs = [unzip];
|
2003-11-25 17:59:07 +01:00
|
|
|
}
|