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
This commit is contained in:
Bruce Momjian 2022-08-12 11:35:23 -04:00
parent 74e28294cd
commit 1886060b98
1 changed files with 1 additions and 1 deletions

View File

@ -122,7 +122,7 @@
</para> </para>
<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 to reflect any configuration options you want to change, or the paths to
any third party libraries to use. The complete configuration is determined any third party libraries to use. The complete configuration is determined
by first reading and parsing the file <filename>config_default.pl</filename>, by first reading and parsing the file <filename>config_default.pl</filename>,