Полагаю, 10к страниц - более адекватная оценка объема доки на это чипчик. Нафига держать в голове, сидя за компуком :) Есть совершено замечательная штука - иерархические связанные списки. В которых можно удобно хранить хоть 10 к страниц, хоть мульен - он же не все нужны одномоментно. :)
Берется специальный чел - парсер документации. Он берет что-то типра
http://www.treepad.com и делает иерархическую структуру камня. Далее он пылесосит сайт производителя, выкачивая оттуда все по теме. Раскладывает на серваке по папочкам и ставит связи между элементами описанной выше структуры и PDF со стринцами в них.
Далее все девелоперы работают с этой информационной базой. Свои матюки относительно неточности парсера они отдают парсеру, и через небольшое время база получается совершенной.