Я нашёл только маленькую прогу, которая распиливает здоровенный файл pxd на много pxdёнков.