bef6bef0d2
`stripHash` documentation states that it prints out the stripped name to the stdout, but the function stored the value in `strippedName` instead. Basically all usages did something like `$(stripHash $foo | echo $strippedName)` which is just braindamaged. Fixed the implementation and all invocations.
6 lines
145 B
Bash
6 lines
145 B
Bash
source $stdenv/setup
|
|
|
|
mkdir -p $out/xml/dtd/docbook-ebnf
|
|
cd $out/xml/dtd/docbook-ebnf
|
|
cp -p $dtd dbebnf.dtd
|
|
cp -p $catalog $(stripHash $catalog)
|