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 bcfd5a1a106e5404052df03c11ab3285b4142e2e..0d7deccc39d2f5e2e3569190647d6bcb8f542a7f 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,