svn path=/nixpkgs/trunk/; revision=3563
This commit is contained in:
Martin Bravenboer 2005-08-12 23:29:29 +00:00
parent af488d0826
commit 40be4bed06
2 changed files with 52 additions and 0 deletions

View file

@ -0,0 +1,13 @@
. $stdenv/setup
mkdir -p $out/xml/rng/docbook
cd $out/xml/rng/docbook
cp $rng docbook.rng
cp $rnc docbook.rnc
cp $xirng docbookxi.rng
cp $xirnc docbookxi.rnc
mkdir -p $out/xml/dtd/docbook
cd $out/xml/dtd/docbook
cp $dtd docbook.dtd
cp $xidtd docbookxi.dtd

View file

@ -0,0 +1,39 @@
{stdenv, fetchurl, unzip}:
assert unzip != null;
stdenv.mkDerivation {
name = "docbook-ng-5.0pre20050724-pto";
builder = ./builder.sh;
buildInputs = [unzip];
rng = fetchurl {
url = http://www.docbook.org/docbook-ng/pto/docbook.rng;
md5 = "508a56c9602e0321f64df4b5032f4a05";
};
rnc = fetchurl {
url = http://www.docbook.org/docbook-ng/pto/docbook.rnc;
md5 = "046e583f912fb38c28035cbdec055fc7";
};
xirng = fetchurl {
url = http://www.docbook.org/docbook-ng/pto/docbookxi.rng;
md5 = "e377fb2d80d96f098e367003ad51a983";
};
xirnc = fetchurl {
url = http://www.docbook.org/docbook-ng/pto/docbookxi.rnc;
md5 = "e8a233600fc58a1eab04451f530d4455";
};
dtd = fetchurl {
url = http://www.docbook.org/docbook-ng/pto/docbook.dtd;
md5 = "65f04909e0f9f64c18f0c5267d95bf70";
};
xidtd = fetchurl {
url = http://www.docbook.org/docbook-ng/pto/docbookxi.dtd;
md5 = "37168ed996c5271d818eb258f1509834";
};
}