Why did you add these here? The fact that they are in ``webdoc`` means they are already generated AFAIK.