mlton was identified as a package possibly needing maintainer attention
due to the F-20 unversioned doc dir change. The identification is not
foolproof, it is basically this grep:
grep -E "(/doc|_docdir|_defaultdocdir).+version" *.spec
Please review your package and make the appropriate changes, if any. A
good starting point is checking the lines output by the above grep for
your specfile. For the vast majority of packages, after the changes,
the expected outcome is that documentation dirs in /usr/share/doc
should no longer contain the package version.
More information and tips:
This bug appears to have been reported against 'rawhide' during the Fedora 20 development cycle.
Changing version to '20'.
More information and reason for this action is here:
mlton-20130715-3.fc19 has been submitted as an update for Fedora 19.
mlton-20130715-3.fc18 has been submitted as an update for Fedora 18.
mlton-20130715-3.fc20 has been submitted as an update for Fedora 20.
mlton-20130715-4.fc19 has been pushed to the Fedora 19 stable repository. If problems still persist, please make note of it in this bug report.
mlton-20130715-4.fc18 has been pushed to the Fedora 18 stable repository. If problems still persist, please make note of it in this bug report.
mlton-20130715-4.fc20 has been pushed to the Fedora 20 stable repository. If problems still persist, please make note of it in this bug report.