Algumas distribuições do Linux utilizam arquivos RPM para a instalação de pacotes. Para a instalação ou remoção destes
pacotes existe o utilitário rpm (RPM Package Manager). Uma de suas opções permite que seja feita a instalação sem os
arquivos marcados como documentação (como arquivos textos ou páginas de manual − man pages). Essa opção é a