make sure to update the timestamp on the doc directory when we build it

diff --git a/Makefile b/Makefile
index 31d6d3aec7b936d64416b9a5636a54a3785c60e7..2610271601365625f7280af8a450fccc5bda658e 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -22,6 +22,7 @@ install :
 doc : $(MAIN_LUA) $(MOD_LUAS)
        mkdir -p $(DOC_DIR)
        $(LUADOC) --nofiles -d $(DOC_DIR) $(MAIN_LUA) $(MOD_LUAS)
+       @touch doc
 
 clean :
        rm -rf $(DOC_DIR)