diff options
author | Tom Lane | 2000-06-01 14:52:25 +0000 |
---|---|---|
committer | Tom Lane | 2000-06-01 14:52:25 +0000 |
commit | 64b4a48ddc92649d8dcbc365508ce61653245cfa (patch) | |
tree | 25d7382ae95e5f96147698e69647ed288b9ab5ae /doc/src | |
parent | 228a5e708cad53fbe3db03ea5db4f9a1a2568f5b (diff) |
Simplify overly-clever Make rule, which evidently confuses at least
some versions of gmake (mine didn't do the right thing, anyway).
Diffstat (limited to 'doc/src')
0 files changed, 0 insertions, 0 deletions