-
Volker Hilsheimer authored
For now just on debian-based systems. That way, the doc-server role becomes purely an nginx installation role, which is "nice to have" for building the documentation.
ae67df41
For now just on debian-based systems. That way, the doc-server role becomes purely an nginx installation role, which is "nice to have" for building the documentation.