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 16:06:15 +02:00
|
|
|
name = "docbook-xml-4.2";
|
2003-11-25 17:59:07 +01:00
|
|
|
builder = ./builder.sh;
|
|
|
|
src = fetchurl {
|
2004-04-08 16:06:15 +02:00
|
|
|
url = http://www.docbook.org/xml/4.2/docbook-xml-4.2.zip;
|
|
|
|
md5 = "73fe50dfe74ca631c1602f558ed8961f";
|
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
|
|
|
}
|