scripts/populate.in
2009-02-01 Fix populate to correctly use tools discovered via ./configure.
2009-01-29 Update populate:
2008-12-11 Move populate.in from tools/ to scripts/