diff options
| author | Robert Haas <rhaas@postgresql.org> | 2011-02-04 09:48:32 -0500 |
|---|---|---|
| committer | Robert Haas <rhaas@postgresql.org> | 2011-02-04 09:48:32 -0500 |
| commit | 6f59a5e5dd73ec2c448dd7038accf5aaba6dc04b (patch) | |
| tree | 8eea373f5db25325802de70c0217794417a7d399 /doc/src | |
| parent | 356f2cbbb42811596820c94aaec2e32ad1ec58d8 (diff) | |
Use $(MAKE) rather than make.
Per buildfarm.
Diffstat (limited to 'doc/src')
0 files changed, 0 insertions, 0 deletions