diff --git a/src/shell/lua/CMakeLists.txt b/src/shell/lua/CMakeLists.txt
index 04b98649c8..80db0ace94 100644
--- a/src/shell/lua/CMakeLists.txt
+++ b/src/shell/lua/CMakeLists.txt
@@ -11,7 +11,7 @@ FOREACH(T ${LEANLUATESTS})
 ENDFOREACH(T)
 
 # LEANLUADOCS
-file(GLOB LEANLUADOCS "${LEAN_SOURCE_DIR}/../doc/lua/*.lua")
+file(GLOB LEANLUADOCS "${LEAN_SOURCE_DIR}/../doc/lua/*.md")
 FOREACH(T ${LEANLUADOCS})
   GET_FILENAME_COMPONENT(T_NAME ${T} NAME)
   add_test(NAME "leanluadoc_${T_NAME}"