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