make doc building faster

Each time one runs 'make html', the Pyramid test suite is also ran, which seems needless, and is time-consuming... me wonders why this was so in the first place (see 9974be2f).