Commented out parts related to building devel docs [skip ci].

Devel docs are built on RTFD. Not really necessary on the website.