Install doc/mlton- old bug?

[Anoq of the Sun]

Stephen Weeks wrote:
> 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

No - I only get it sometimes. Usually it always helps to just
delete /usr/share/doc/mlton- and do make install again.


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