3
0
Fork 0
forked from mirrors/nixpkgs

noweb: remove obsolete substituteInPlace

This commit is contained in:
Robin Gloster 2016-08-27 21:54:55 +00:00
parent 29c5ccea4a
commit 193a57fa48
No known key found for this signature in database
GPG key ID: 5E4C836C632C2882

View file

@ -17,7 +17,7 @@ stdenv.mkDerivation {
postInstall= ''
substituteInPlace $out/bin/cpif --replace "PATH=/bin:/usr/bin" ""
for f in $out/bin/{noweb,nountangle,noroots,noroff,noindex} \
$out/lib/noweb/{toroff,btdefn,totex,pipedoc,noidx,unmarkup,toascii,tohtml,emptydefn}; do
$out/lib/noweb/{toroff,btdefn,totex,noidx,unmarkup,toascii,tohtml,emptydefn}; do
substituteInPlace $f --replace "nawk" "${gawk}/bin/awk"
done
'';