Install doc/mlton- old bug?

[Anoq of the Sun]

Hello!


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.


Cheers
-- 
http://www.HardcoreProcessing.com