diff options
| author | Bruce Momjian <bruce@momjian.us> | 1998-12-17 16:37:35 +0000 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 1998-12-17 16:37:35 +0000 |
| commit | 673d7f6b4aa81a8cb57886bee817445a5bed99aa (patch) | |
| tree | e809e3be82c38eb4f8ff97b8b47022ab6c6e3928 /doc/FAQ_DEV | |
| parent | 38f255dc2255b47c5f1bbbb8eba512c5490c1643 (diff) | |
Remove need for doc 'install man' in INSTALL file. install does both
html and man.
Diffstat (limited to 'doc/FAQ_DEV')
0 files changed, 0 insertions, 0 deletions