В настройках kdevelop есть список всех доков, которые он показывает, посмотри их адреса и вытяни тем же wget или httrack(вроде так называется). Часть доков имеется в составе дистрибутива, поищи пакетным менеджером. Кстати, в хелп kdevelop'а можно добавлять свои доки.