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 | 1886060b985135af5088bbd9368c54e39f1327cc (patch) | |
tree | 78c10ab713e782d51a37420149c231a30ac46c07 /doc/src | |
parent | 74e28294cdbd422ba735d365d38746d8993411ff (diff) | |
download | postgresql-1886060b985135af5088bbd9368c54e39f1327cc.tar.gz |
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
Diffstat (limited to 'doc/src')
-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 afb004b5cf..11e153578c 100644 --- a/doc/src/sgml/install-windows.sgml +++ b/doc/src/sgml/install-windows.sgml @@ -122,7 +122,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>, |