Updating doc and pub_doc targets to work better (or at all).