Avoid rebuilding documentation in distributed sources, so users don't need luadoc installed.