[docs] Remove dead mempool APIs.

diff --git a/docs/sources/mono-api-jitinternal.html b/docs/sources/mono-api-jitinternal.html
index 9846b5b92f10cf7516edc3c8b307134294040fa5..1feff043f65acf732fdce5c649592d25fb2b01bc 100644 (file)
--- a/docs/sources/mono-api-jitinternal.html
+++ b/docs/sources/mono-api-jitinternal.html
@@ -62,7 +62,6 @@
 <h4><a name="api:mono_mempool_destroy">mono_mempool_destroy</a></h4>
 <h4><a name="api:mono_mempool_alloc">mono_mempool_alloc</a></h4>
 <h4><a name="api:mono_mempool_alloc0">mono_mempool_alloc0</a></h4>
-<h4><a name="api:mono_mempool_empty">mono_mempool_empty</a></h4>
 <h4><a name="api:mono_mempool_invalidate">mono_mempool_invalidate</a></h4>
 <h4><a name="api:mono_mempool_stats">mono_mempool_stats</a></h4>
 <h4><a name="api:mono_mempool_contains_addr">mono_mempool_contains_addr</a></h4>