Mention #help in #utop_help (#190)

2016-11-16 08:47:24 +01:00 · 2016-11-16 08:47:24 +01:00 · f2015062fa
parent a7e716dd7e
commit f2015062fa
1 changed files with 1 additions and 0 deletions
--- a/src/lib/uTop.cppo.ml
+++ b/src/lib/uTop.cppo.ml
@ -535,6 +535,7 @@ let () =

 utop defines the following directives:

+#help            : list all directives
 #utop_bindings   : list all the current key bindings
 #utop_macro      : display the currently recorded macro
 #topfind_log     : display messages recorded from findlib since the beginning of the session