diff options
Diffstat (limited to 'doc/src')
| -rw-r--r-- | doc/src/sgml/installation.sgml | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml index 2bdb3f10b30..fc6559d7084 100644 --- a/doc/src/sgml/installation.sgml +++ b/doc/src/sgml/installation.sgml @@ -629,6 +629,19 @@ su - postgres <para> <variablelist> <varlistentry> + <term><option>--with-extra-version=<replaceable>STRING</></option></term> + <listitem> + <para> + Append <replaceable>STRING</> to the PostgreSQL version number. You + can use this, for example, to mark binaries built from unreleased Git + snapshots or containing custom patches with an extra version string + such as a <command>git describe</command> identifier or a + distribution package release number. + </para> + </listitem> + </varlistentry> + + <varlistentry> <term><option>--with-includes=<replaceable>DIRECTORIES</></option></term> <listitem> <para> |