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 | 72d76a4724e99169a5df111c32a3d74fd8dd3a84 (patch) | |
| tree | d46e8c7f3c530e69bbd96ffb851f8032a14ccfa2 | |
| parent | ca82ad08fe1640509b1cc47b7bff3ef4ddc627fe (diff) | |
| download | postgresql-72d76a4724e99169a5df111c32a3d74fd8dd3a84.tar.gz postgresql-72d76a4724e99169a5df111c32a3d74fd8dd3a84.zip | |
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 6a680050e27..6b6db2ee17c 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>, |