[2.0] Move config for the manual to doctools.