Написать "Дистрибутивы Linux" или "Дистрибутивы GNU/Linux", а потом их названия, как они сами хотят :)
Это очень интересный вопрос! Потому что мало кто придает значение вот этому GNU/Linux. Как правило в документации написанно просто "Linux". Поклонникам Столлмана такой расклад не нравится, и я считаю, что надо писать правильно. С другой же стороны мы тогда получим "не такую как везде" документацию в итоге :O