From 64740d632a2ab5c02839da879ef6353bf01c417b Mon Sep 17 00:00:00 2001
From: Luca Ferrari <fluca1978@gmail.com>
Date: Thu, 21 Sep 2023 14:52:07 +0200
Subject: [PATCH] Add `config path` subcommand to online help.

This is already documented in the README.
---
 bin/pgenv | 1 +
 1 file changed, 1 insertion(+)

diff --git a/bin/pgenv b/bin/pgenv
index 0913690..7ee27f8 100755
--- a/bin/pgenv
+++ b/bin/pgenv
@@ -1598,6 +1598,7 @@ You need to specify one of the following \`config\` actions to perform:
     edit
     delete
     use
+    path
 
 For instance: