diff options
| author | Bruce Momjian <bruce@momjian.us> | 2022-08-12 11:35:23 -0400 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 2022-08-12 11:35:23 -0400 |
| commit | c90dfb62b8bce062c81581bb379c9fdaac54e082 (patch) | |
| tree | 3898c67fd65fc99a3b5f8e3b411953a1a8d5ce8b | |
| parent | 5d499dab755f6e2abe365983c2f9a70f220fa703 (diff) | |
doc: clarify configuration file for Windows builds
The use of file 'config.pl' was not clearly explained.
Reported-by: liambowen@gmail.com
Discussion: https://postgr.es/m/164246013804.31952.4958087335645367498@wrigleys.postgresql.org
Backpatch-through: 10
| -rw-r--r-- | doc/src/sgml/install-windows.sgml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/src/sgml/install-windows.sgml b/doc/src/sgml/install-windows.sgml index bcfd5a1a106..0d7deccc39d 100644 --- a/doc/src/sgml/install-windows.sgml +++ b/doc/src/sgml/install-windows.sgml @@ -128,7 +128,7 @@ </para> <para> - Before you build, you may need to edit the file <filename>config.pl</filename> + Before you build, you can create the file <filename>config.pl</filename> to reflect any configuration options you want to change, or the paths to any third party libraries to use. The complete configuration is determined by first reading and parsing the file <filename>config_default.pl</filename>, |