doc: "registry-add" to "registry add" in documentation, see issue #988.

JuliaLang · Jan 17, 2019 · d479945 · d479945
1 parent 96583ea
commit d479945
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/docs/generate.jl b/docs/generate.jl
@@ -8,7 +8,7 @@ function generate(io, command)
     <section class="docstring">
     <div class="docstring-header">
         <a class="docstring-binding" id="repl-$(command)" href="#repl-$(command)">
-            <code>$(command)</code>
+            <code>$(replace(command, "-" => " "))</code>
         </a>
         —
         <span class="docstring-category">REPL command</span>

diff --git a/src/REPLMode.jl b/src/REPLMode.jl
@@ -1467,7 +1467,7 @@ Multiple commands can be given on the same line by interleaving a `;` between th
 
 for command in canonical_names()
     spec = CommandSpec(command)
-    push!(help.content, Markdown.parse("`$command`: $(spec.description)"))
+    push!(help.content, Markdown.parse("`$(replace(command, "-" => " "))`: $(spec.description)"))
 end
 
 end #module