宋文武 37e74d8cc0 noweb: some fixes ... install libs to $out/lib/noweb don't sed on binaries, eg markup		2014-03-12 18:54:50 +08:00
..
noweb