Merge pull request #1164 from adrien-n/toplevel-show-doc-below

toplevel: doc for #show mentions categories above while they're below.
2017-05-25 16:40:09 -04:00 · 2017-05-25 16:40:09 -04:00 · 2691c40f2f
parent fcc173e7d3 de82de7611
commit 2691c40f2f
1 changed files with 1 additions and 1 deletions
--- a/toplevel/topdirs.ml
+++ b/toplevel/topdirs.ml
@ -621,7 +621,7 @@ let () =
    {
      section = section_env;
      doc = "Print the signatures of components \
-             from any of the above categories.";
+             from any of the categories below.";
    }

 let _ = add_directive "trace"