From adc5cb1f8a013a94e0cd9723fb14ae03ad309a86 Mon Sep 17 00:00:00 2001
From: Kovacsics Robert <rmk35@cam.ac.uk>
Date: Fri, 2 Jul 2021 17:20:55 +0100
Subject: [PATCH] noweb: fix nawk binary name
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

The package `nawk` seems to supply the binary `nawk` not `awk`, not sure if this was always thus, or if this is a new change.
```
$ tree `nix eval -f '<nixpkgs>' --raw nawk`
/nix/store/jji0m1by0nks2pdplk6xpwqq0dz8qy2s-nawk-unstable-2021-02-15
├── bin
│   └── nawk
└── share
    └── man
        └── man1
            └── nawk.1.gz

```
---
 pkgs/development/tools/literate-programming/noweb/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/development/tools/literate-programming/noweb/default.nix b/pkgs/development/tools/literate-programming/noweb/default.nix
index c02764035161..6847aff097c8 100644
--- a/pkgs/development/tools/literate-programming/noweb/default.nix
+++ b/pkgs/development/tools/literate-programming/noweb/default.nix
@@ -57,7 +57,7 @@ lib.fix (noweb: stdenv.mkDerivation rec {
         # NOTE: substituteInPlace breaks Icon binaries, so make sure the script
         #       uses (n)awk before calling.
         if grep -q nawk "$f"; then
-            substituteInPlace "$f" --replace "nawk" "${nawk}/bin/awk"
+            substituteInPlace "$f" --replace "nawk" "${nawk}/bin/nawk"
         fi
     done