> Therefor I would suggest the following change to Makefile.in:
>
> 1) Add a declaration MKDIR=mkdir
> 2) Replace "mkdir" by "$(MKDIR)".
>
> By this people can use their "own" mkdir, i.e. gmkdir.
Seems reasonable. I changed Makefile.in as you proposed.
Juergen