diff --git a/doc/make_constants.py b/doc/make_constants.py
index 439847830d7aa16379bb9313d75f0539cfd1fe84..fbfde06f4c1aab6dab29f270edac4cf8b05649bc 100644
--- a/doc/make_constants.py
+++ b/doc/make_constants.py
@@ -36,6 +36,9 @@ def get_extra_lines(tup):
 
 const_ext_lookup = {
         devi: {
+            getattr(devi, "PLATFORM_NOT_FOUND_KHR", None):
+            ("cl_khr_icd", "2011.1"),
+
             getattr(devi, "PREFERRED_VECTOR_WIDTH_HALF", None): ("CL_1.1", "0.92"),
             getattr(devi, "HOST_UNIFIED_MEMORY", None): ("CL_1.1", "0.92"),
             getattr(devi, "NATIVE_VECTOR_WIDTH_CHAR", None): ("CL_1.1", "0.92"),