tv d9d0bc0241 Don't need "if" here to look for TOOLDIR/bin; "mkdir -p" won't fail if ... it already exists.		2002-04-03 15:56:32 +00:00
..
Makefile	…
configure	…
configure.ac	…
host-mkdep.in	…