diff --git a/doc/src/Developer_utils.rst b/doc/src/Developer_utils.rst
index e419520edd..54a21e5e44 100644
--- a/doc/src/Developer_utils.rst
+++ b/doc/src/Developer_utils.rst
@@ -206,6 +206,9 @@ Convenience functions
 Customized standard functions
 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 
+.. doxygenfunction:: binary_search
+   :project: progguide
+
 .. doxygenfunction:: merge_sort
    :project: progguide