diff options
author | Robin Gareus <robin@gareus.org> | 2020-02-23 14:51:56 +0100 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2020-02-23 16:21:50 +0100 |
commit | 96ef1dc0ed9862bf4937d182f789edd20c17581f (patch) | |
tree | 6851918f213f836e3e4de0bb6cccfa5a270b0ca2 /doc | |
parent | 3e77680a57ee28571ec5558845df2ad82246741a (diff) |
Cleanup cource tree: collect patches
Diffstat (limited to 'doc')
-rw-r--r-- | doc/updating_waf.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/updating_waf.txt b/doc/updating_waf.txt index 0c192d4489..d6767851fb 100644 --- a/doc/updating_waf.txt +++ b/doc/updating_waf.txt @@ -14,7 +14,7 @@ cd /tmp curl https://waf.io/waf-2.0.19.tar.bz2 | tar xj cd waf-2.0.19 -patch -p1 < $ARDOURSRC/tools/waf-str.patch +patch -p1 < $ARDOURSRC/tools/patches/waf-str.patch ./waf-light -v --make-waf --tools=misc,doxygen,$ARDOURSRC/tools/autowaf.py,$ARDOURSRC/tools/misc.py --prelude='' cp ./waf $ARDOURSRC/waf |