1 files changed, 1 insertions, 0 deletions
diff --git a/INSTALL b/INSTALL
index 1286bf2d098..85c89e7483f 100644
--- a/INSTALL
+++ b/INSTALL
@@ -288,6 +288,7 @@ PostgreSQL:
                           for header files.  (Typical use will need
                           --with-includes=/usr/local/include)
 
+       --with-libs=DIRS
        --with-libraries=DIRS
                           Include DIRS in list of directories searched
                           for archive libraries.  (Typical use will need