From 06c004aa75b08b0dc7c0926704bc3ce7e2cc8a78 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Mon, 18 Nov 2013 15:36:07 -0800
Subject: [PATCH] fix(build): typo

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/shell/lua/CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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}"