summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBruce Momjian2022-08-12 15:35:23 +0000
committerBruce Momjian2022-08-12 15:35:23 +0000
commit1886060b985135af5088bbd9368c54e39f1327cc (patch)
tree78c10ab713e782d51a37420149c231a30ac46c07
parent74e28294cdbd422ba735d365d38746d8993411ff (diff)
doc: clarify configuration file for Windows builds
The use of file 'config.pl' was not clearly explained. Reported-by: [email protected] Discussion: https://postgr.es/m/[email protected] Backpatch-through: 10
-rw-r--r--doc/src/sgml/install-windows.sgml2
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>,