Add doc generation (useless, but looks funny to me)