blob: a3b7067b2a42c8250c07dcd540dccd1a8a1e187e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
{stdenv, fetchurl}:
stdenv.mkDerivation {
name = "docbook-xml-ebnf-1.2b1";
dtd = fetchurl {
url = "http://www.docbook.org/xml/ebnf/1.2b1/dbebnf.dtd";
sha256 = "0min5dsc53my13b94g2yd65q1nkjcf4x1dak00bsc4ckf86mrx95";
};
catalog = ./docbook-ebnf.cat;
unpackPhase = ''
mkdir -p $out/xml/dtd/docbook-ebnf
cd $out/xml/dtd/docbook-ebnf
'';
installPhase = ''
cp -p $dtd dbebnf.dtd
cp -p $catalog $(stripHash $catalog)
'';
meta = {
platforms = stdenv.lib.platforms.unix;
};
}
|