diff --git a/base/public.jl b/base/public.jl index 413c859106240..52b0dd5233e39 100644 --- a/base/public.jl +++ b/base/public.jl @@ -99,6 +99,7 @@ public @constprop, @locals, @propagate_inbounds, + @__doc__, # External processes shell_escape,