Disable doc_usersguide and doc_developersguide targets
We do not actually use them anymore since many years.