dd3636eea9
This should unbreak release builds with docs but without a full ports tree. While I'm here, fix a minor sorting glitch.