diff options
author | Bruce Momjian | 2022-08-12 15:35:23 +0000 |
---|---|---|
committer | Bruce Momjian | 2022-08-12 15:35:23 +0000 |
commit | 1886060b985135af5088bbd9368c54e39f1327cc (patch) | |
tree | 78c10ab713e782d51a37420149c231a30ac46c07 | |
parent | 74e28294cdbd422ba735d365d38746d8993411ff (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.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>, |