ports/139807: [MAINTAINER] lang/smlnj-devel: update to 110.71 and adapt devel/ml-doc accordingly

[Johannes 5 Joemann]

Hi!

On Wed, 21 Oct 2009 04:40:26 GMT, edwin at FreeBSD.org wrote:
> Synopsis: [MAINTAINER] lang/smlnj-devel: update to 110.71 and adapt devel/ml-doc accordingly
> 
> State-Changed-From-To: open->feedback
> State-Changed-By: edwin
> State-Changed-When: Wed Oct 21 04:40:26 UTC 2009
> State-Changed-Why: Awaiting maintainers feedback (via the GNATS Auto Assign Tool)
> 
> http://www.freebsd.org/cgi/query-pr.cgi?pr=139807

It would be very kind if someone responsible for unassigned port PRs
could change this PR's class back to maintainer-update and make it leave
its current feedback state. (Me and the maintainer of the affected
devel/ml-doc port have approved the PR's patches.)

I'm very sorry if the current (possibly stuck?) state of this PR was
caused by the mangled portname in the synopsis line:
lang/smlnj-devel is wrong, lang/sml-nj-devel is right. (*)

Sorry for any inconvenience and thank you very much!
Johannes (maintainer of lang/sml-nj-devel)

(*) Unfortunately I had not realized that the PR template generated by
porttools uses `make -V PORTNAME` as the base value for calculating the
port's directory name - a heuristic that fails with lang/sml-nj-devel,
because its PORTNAME is smlnj (not sml-nj). (See PR ports/139872 for a
possible improvement of porttools' heuristic.)