"David E. Wheeler" <david(at)kineticode(dot)com> writes:
>> And how does the information flows from the Makefile to the production
>> server, already?
>
> `make` generates the file if it doesn't already exist.
Again, will retry when possible, but it has been a time sink once already.
--
Dimitri Fontaine
http://2ndQuadrant.fr PostgreSQL : Expertise, Formation et Support