Esta sección documenta cómo instalar el software usado para generar el manual. La instalación es diferente para cada sistema operativo; hay instrucciones para: