update path to lua-doc in manual