Basta procurar pelo pacote debian que contém essas páginas extras de desenvolvimento (deve ser manpages-dev
) e instalá-lo.
Atualmente, é bastante comum que distribuições não instalem manpages de desenvolvimento por padrão.
Você pode usar apt-file search
para procurar outras páginas de manual ausentes.