> > Now that we have the 8.1 docs (yeah, I know, we've had for a while,
> > but.), I would suggest removing the 7.3 interactive docs, and move
> > them off to the archive. Anybody against this?
> >
>
> ISTR this was discussed and decided against, since we still
> actively support 7.3. (See also links to 7.3 releases on the
> homepage)
I thought that was pre-8.1. :-)
But yeah, it's a point. I'll look towards other more efficient ways to
decreas the docs build process :-)
//Magnus