aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xkerl1
1 files changed, 1 insertions, 0 deletions
diff --git a/kerl b/kerl
index c86d782..b292ea3 100755
--- a/kerl
+++ b/kerl
@@ -179,6 +179,7 @@ usage()
echo " update Update the list of available releases from your source provider"
echo " list List releases, builds and installations"
echo " delete Delete builds and installations"
+ echo " path Print the path of a given installation"
echo " active Print the path of the active installation"
echo " plt Print Dialyzer PLT path for the active installation"
echo " status Print available builds and installations"