doc: clarify configuration file for Windows builds
authorBruce Momjian
Fri, 12 Aug 2022 15:35:23 +0000 (11:35 -0400)
committerBruce Momjian
Fri, 12 Aug 2022 15:35:23 +0000 (11:35 -0400)
The use of file 'config.pl' was not clearly explained.

Reported-by: [email protected]
Discussion: https://postgr.es/m/164246013804.31952.4958087335645367498@wrigleys.postgresql.org

Backpatch-through: 10

doc/src/sgml/install-windows.sgml

index afb004b5cf015848a8d9e9d16015f88d78ba8b40..11e153578c0b1978bdb01f2236c19eab64b2a137 100644 (file)
  
 
  
-  Before you build, you may need to edit the file config.pl
+  Before you build, you can create the file config.pl
   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 config_default.pl,