Install doc/mlton- old bug?

[Stephen Weeks]

> When I install mlton with make install I sometimes get
> some problems that it's trying to install documentation
> in /usr/share/doc/mlton-   without any version label for
> the directory. If I remove that mlton- directory and run
> make install again it works fine. As far as I remember this
> problem has been there for a very long time (possibly always).
> 
> Are any of you guys ever getting that? I usually get
> it when making and installing mlton several times.
> I think it's about every 2nd or every 3rd time that
> it happens.

The VERSION variable in the Makefile is null by default and is only
set by the rpm install target (see doc/mlton.spec).  I would think
that you would always see the problem unless you manually do 

make VERSION=mlton-200????? install