2009-09-16 12:25:22 +00:00
|
|
|
{ stdenv, fetchurl, libxml2 }:
|
|
|
|
|
|
|
|
stdenv.mkDerivation {
|
|
|
|
name = "xhtml1-20020801";
|
|
|
|
|
|
|
|
src = fetchurl {
|
|
|
|
url = http://www.w3.org/TR/xhtml1/xhtml1.tgz;
|
|
|
|
sha256 = "0rr0d89i0z75qvjbm8il93bippx09hbmjwy0y2sj44n9np69x3hl";
|
|
|
|
};
|
|
|
|
|
|
|
|
buildInputs = [ libxml2 ];
|
|
|
|
|
|
|
|
installPhase =
|
|
|
|
''
|
2012-01-18 20:16:00 +00:00
|
|
|
mkdir -p $out/xml/dtd/xhtml1
|
2009-09-16 12:25:22 +00:00
|
|
|
cp DTD/*.ent DTD/*.dtd $out/xml/dtd/xhtml1
|
|
|
|
|
|
|
|
# Generate an XML catalog.
|
|
|
|
cat=$out/xml/dtd/xhtml1/catalog.xml
|
|
|
|
xmlcatalog --noout --create $cat
|
|
|
|
grep PUBLIC DTD/*.soc | while read x; do
|
|
|
|
eval a=($x)
|
|
|
|
xmlcatalog --noout --add public "''${a[1]}" "''${a[2]}" $cat
|
|
|
|
done
|
|
|
|
''; # */
|
|
|
|
|
|
|
|
meta = {
|
|
|
|
homepage = http://www.w3.org/TR/xhtml1/;
|
|
|
|
description = "DTDs for XHTML 1.0, the Extensible HyperText Markup Language";
|
2016-08-02 17:50:55 +00:00
|
|
|
platforms = stdenv.lib.platforms.unix;
|
2009-09-16 12:25:22 +00:00
|
|
|
};
|
|
|
|
}
|