Build instructions.inc on demand.