1 files changed, 3 insertions, 0 deletions

diff --git a/auto/help b/auto/help
index 94854762..2707d4d2 100644
--- a/auto/help
+++ b/auto/help
@@ -88,4 +88,7 @@ cat << END
                        run "./configure wasm-wasi-component --help" to see
                        available options
 
+  skel OPTIONS	       configure SKEL module
+		       run "./configure skel --help" to see available options
+
 END