Kovacsics Robert adc5cb1f8a noweb: fix nawk binary name ... 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 ```		2021-07-02 18:21:06 +01:00
..
eweb
funnelweb
Literate
noweb	noweb: fix nawk binary name	2021-07-02 18:21:06 +01:00
nuweb