Ludovic Courtès authored 2 months ago and Romain Garbage committed 2 months ago

* nginx-config/nginx.conf: Include @ROBOT-EXCLUSION@.
* head-node.scm (ai.robots.txt, robot-exclusion-nginx-file): New
variables.
(%nginx-config): Substitute “@ROBOT-EXCLUSION@” in the config file.