diff --git a/doc/src/base/base.md b/doc/src/base/base.md
index 1e91082996604..027fe21b26b01 100644
--- a/doc/src/base/base.md
+++ b/doc/src/base/base.md
@@ -243,6 +243,7 @@ Base.evalfile
 Base.esc
 Base.@inbounds
 Base.@boundscheck
+Base.@propagate_inbounds
 Base.@inline
 Base.@noinline
 Base.@nospecialize
diff --git a/doc/src/devdocs/boundscheck.md b/doc/src/devdocs/boundscheck.md
index 669cb526f9dfb..a9fb3baaae447 100644
--- a/doc/src/devdocs/boundscheck.md
+++ b/doc/src/devdocs/boundscheck.md
@@ -43,8 +43,9 @@ between the `@inbounds` and `@boundscheck` declarations. For instance, the defau
 methods have the chain `getindex(A::AbstractArray, i::Real)` calls `getindex(IndexStyle(A), A, i)`
 calls `_getindex(::IndexLinear, A, i)`.
 
-To override the "one layer of inlining" rule, a function may be marked with `@propagate_inbounds`
-to propagate an inbounds context (or out of bounds context) through one additional layer of inlining.
+To override the "one layer of inlining" rule, a function may be marked with
+[`Base.@propagate_inbounds`](@ref) to propagate an inbounds context (or out of bounds
+context) through one additional layer of inlining.
 
 ## The bounds checking call hierarchy