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
