Move config for the manual to doctools.