2005-12-05 15:11:09 +01:00
|
|
|
source $stdenv/setup
|
2005-08-13 01:29:29 +02:00
|
|
|
|
|
|
|
|
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
|
