Mention that 'make distclean' is a good idea when changing configure

options. Document --with-pam and --enable-depend, do some minor copy-editing.

Mention that 'make distclean' is a good idea when changing configure
options. Document --with-pam and --enable-depend, do some minor copy-editing.
75f0ba9f · Tom Lane · 1a712718 · 75f0ba9f
Commit 75f0ba9f authored Jan 20, 2002 by Tom Lane
Expand all Hide whitespace changes
Inline Side-by-side

Showing with 96 additions and 48 deletions

doc/src/sgml/installation.sgml doc/src/sgml/installation.sgml +96 -48

No files found.
--- a/doc/src/sgml/installation.sgml
+++ b/doc/src/sgml/installation.sgml