From 8f2f178cc2d2a75607453525260a026e2c38da97 Mon Sep 17 00:00:00 2001
From: jariji <96840304+jariji@users.noreply.github.com>
Date: Wed, 17 Jan 2024 20:17:24 -0800
Subject: [PATCH] Make `hasdoc` public (#52708)

Making `Docs.hasdoc` `public` per @LilithHafner
https://github.com/JuliaLang/julia/pull/52139#issuecomment-1874748877.

---------

Co-authored-by: Steven G. Johnson <stevenj@mit.edu>
Co-authored-by: Lilith Orion Hafner <lilithhafner@gmail.com>
---
 base/docs/Docs.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/base/docs/Docs.jl b/base/docs/Docs.jl
index 95724dc97bb73..7ddb556d40871 100644
--- a/base/docs/Docs.jl
+++ b/base/docs/Docs.jl
@@ -65,7 +65,7 @@ import .Base: Callable, with_output_color
 using .Base: RefValue, mapany
 import ..CoreDocs: lazy_iterpolate
 
-export doc
+export doc, hasdoc, undocumented_names
 
 # Basic API / Storage