diff options
| author | Tom Lane <tgl@sss.pgh.pa.us> | 2004-05-23 15:24:32 +0000 |
|---|---|---|
| committer | Tom Lane <tgl@sss.pgh.pa.us> | 2004-05-23 15:24:32 +0000 |
| commit | a712570880510e94fa987b891d7b6179786611a7 (patch) | |
| tree | 397d14142de8887c36cce0af24a4aba3f8aa6c56 /doc/src/FAQ | |
| parent | 5fc1046f2f0a3e08005312cc2afe5ef934aa706e (diff) | |
Make --without-docdir configure option actually work, per Manfred.
Diffstat (limited to 'doc/src/FAQ')
0 files changed, 0 insertions, 0 deletions