Fix lua documentation install.